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. In such
a workflow, the reviewer typically adds comments while looking at
a single commit, and it is helpful for the pull request submitter to
know which commit the comment refers to (i.e. what was the reviewer
looking at when they submitted the comment).
Github (and also other forges) unfortunately do not record this
information, lumping all comments on a big pile.
This script is simple: Whenever you start writing a new comment when
viewing a single commit, the URL of the current page (which includes the
git hash, but possibly also a deeplink to the diff chunk) is prefilled
at the top of the comment.
This link is then displayed abbreviated, resulting into something like
this:

Changes
For a detailed list of changes, see the changelog on
Codeberg.
License
This script was written by Matthijs Kooijman.
The script and this README are made available under CC0, meanig 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/