\begin{Verbatim}[]
$ git rev-list --count HEAD
\end{Verbatim}
