A nixpkgs pr tracker with pure front-end

[bryango]

I wrote a browser userscript a while ago, also using GitHub API. It simply annotates the PR page with tags like this:

If you already have a userscript extension (e.g. violentmonkey) installed, this would be quite easy to use. The code is only ~100 lines so it’s easy to examine:

• source: https://raw.githubusercontent.com/bryango/userjs/master/src/pr-commit.user.js
• README: userjs/src at master · bryango/userjs · GitHub