title: Use JGit to get the git commit count
body: <p>With the git command-line, the way to <a href="https://stackoverflow.com/a/4061706/89218">get the git commit count</a> is</p>
  
  <pre><code>git rev-list HEAD --count
  </code></pre>
  
  <p>How to do this with JGit?</p>