function git_commits_no {
	commits_since_0_16=$(git rev-list master 0.16 --count)
	total_commits=$((11532 + $commits_since_0_16))
	echo $total_commits
}