#metrics #git #git-repository #notes #extension #store #track

app git-metrics

A git extension to store metrics directly in git, using the notes

6 releases

new 0.2.0 Jun 30, 2024
0.1.4 Jun 19, 2024
0.1.1 May 28, 2024

#69 in Debugging

Download history 150/week @ 2024-05-15 150/week @ 2024-05-22 112/week @ 2024-05-29 97/week @ 2024-06-05 112/week @ 2024-06-12 200/week @ 2024-06-19 141/week @ 2024-06-26

614 downloads per month

MIT license

2.5K SLoC

Git Metrics

Right now, if you want to track the evolution of some metrics for your project over time, you need an external tool to store those metrics. But these metrics could be stored withing the git repository. Git provides a mechanism of notes that git-metrics simplifies.

How to install

From sources

cargo install --git https://github.com/jdrouet/git-metrics

How to use it


# fetch the remote metrics
$ git metrics pull
# add a new metric
$ git metrics add binary-size \
    --tag "platform.arch: amd64" \
    --tag "unit: byte" \
# push the metrics to remote
$ git metrics push
# log all the metrics for the past commits
$ git metrics log --filter-empty
# display the metrics on current commit
$ git metrics show
binary-size{platform.arch="amd64", unit="byte"} 1024.0
# display the metrics difference between commits
$ git metrics diff HEAD~2..HEAD
- binary-size{platform.arch="amd64", unit="byte"} 512.0
+ binary-size{platform.arch="amd64", unit="byte"} 1024.0 (+200.00 %)

With a github action

With git-metrics, using the GitHub actions, you can even add a report to every pull request that opens on your project.

diff report

name: monitoring metrics

      - main
      - main

    runs-on: ubuntu-latest
      - uses: actions/checkout@v3
          # this is needed for reporting metrics
          fetch-depth: 0
      # set the git identity to be able to save and push the metrics
      - uses: jdrouet/action-git-identity@main
      - uses: jdrouet/action-install-git-metrics@main
      - uses: jdrouet/action-execute-git-metrics@main
          pull: 'true'
          # set that to true when not a pull request
          push: ${{ github.event_name != 'pull_request' }}
          script: git-metrics add binary-size --tag "platform: linux" 1024
      # add a comment message to your pull request reporting the evolution
      - uses: jdrouet/action-report-git-metrics@main
        if: ${{ github.event_name == 'pull_request' }}

Project goals

  • git-metrics show displays the metrics to the current commit
  • git-metrics add adds a metric to the current commit
  • git-metrics remove removes a metric from the current commit
  • git-metrics fetch fetches the metrics
  • git-metrics push pushes the metrics
  • git-metrics log displays the metrics for the last commits
  • git-metrics diff computes the diff of the metrics between 2 commits
  • git-metrics page generates a web page with charts for every metrics
  • add a way to create a budget and compare to it
  • create an action to comment a PR with the comparison to the main branch


~171K SLoC