GitHub - jdrouet/git-metrics: A git extension to be able to track metrics about your project, within the git repository