Benchmarking

To get idea of memory consumption, run gitlint against itself for 10 times. IMPORTANT:

• We use /usr/bin/time -l below - this works on MacOS. On linux use /usr/bin/time -v
• Use the full path /usr/bin/time not just time (see https://stackoverflow.com/questions/774556/peak-memory-usage-of-a-linux-unix-process)

for i in $(seq 1 10); do /usr/bin/time -l gitlint -s --commits HEAD 2>&1; done | awk '/maximum/{print $1; count++; sum+=$1}; END {printf "---\nCOUNT=%i\nSUM=%i\nAVG=%2.f\n",count,sum,sum/count}'