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.
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:
For a detailed list of changes, see the changelog on Codeberg.
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/
