Hey! This seems very nice. Internally, does it work differently from
https://nixpk.gs/pr-tracker.html
? It’d be nice to mention the differences in the README if there are any. For sure your website is faster so it seems :).
Very nice idea, considering Nixpkgs PR progress tracker seem to struggle with load recently.
From what I can tell it might as well be just local html page, because it does not pass any requests through server to get PR status.
All requests after initial html/js load are directly to api.github.com from “frontend”.
The only issue I found - there is no stable links to PRs, ie:
https://nixpkgs-tracker.ocfox.me?pr=12345
opening PR 12345 on load.
Thanks, I’ll try add this feature, and token cookie etc…
Like ghpzin say, it does not pass any requests through server to get PR status. So have no performance problem.
I just added the stable link, thanks for suggesting it!
PRs are often backported
I’d appreciate showing which releases they are apart of.
(Maybe last N releases)
Adding them would be nice too, but consider the GitHub API limit. Adding too many branches can easily hit the limit.
I’m working on a cli tool to do this, that will work better!
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:
Amazing, just installed, thank you !