js bookmarklet for opening the pr-tracker from a nixpkgs PR, in case anyone else has use for this :)
javascript:m=location.href.match(/^https:\/\/github\.com\/NixOS\/nixpkgs\/pull\/(\d+)/);m?open('https://nixpk.gs/pr-tracker.html?pr='+m[1]):alert('not a nixpkgs pull request')







