When viewing a commit in a PR, show the number of commits and the position of the current commit in that list to make review progress more visible.
Per
# Pull request comment context
This is a script that runs locally in your browser (via an extension
like Greasemonkey) and improves a pull-request review workflow on
(currently only) Github when code is reviewed commit-by-commit.
Github does not show any ready indication of where the currently viewed
commit is in the list of commits in the PR, making it impossible to
quickly see how far along a review is.
This script is simple: Whenever a single-commit page is opened, it finds
the list of commit and finds the current commit in that list, and writes
both to the page. For example, the "(3 / 5)" below is added by this
script:
Changes
-------
For a detailed list of changes, see [the changelog on
Codeberg](https://codeberg.org/matthijs/greasemonkey-pr-commit-progress/src/branch/main/CHANGELOG.md).
License
-------
This script was written by Matthijs Kooijman.
The contents of this repository are made available under CC0, meaning
any copyright or similar rights are waived as far as possible and this
content can be used in any way (including relicensing) by anyone.
For the full CC0, see: https://creativecommons.org/publicdomain/zero/1.0/
