refined-github

shorten-repo-url

Shorten GitHub URLs like GitHub shortens Issues and Commit URLs

github-url-detection

Which GitHub page are you on? Is it an issue? Is it a list? Perfect for your WebExtension or userscript.