Skip to content

Instantly share code, notes, and snippets.

@severnt

severnt/github-go2PR.js

Created October 26, 2020 15:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save severnt/e3d1430bc25423c7119909e0feaa735a to your computer and use it in GitHub Desktop.
Save severnt/e3d1430bc25423c7119909e0feaa735a to your computer and use it in GitHub Desktop.
Download ZIP
Bookmarklet to jump to PR
Raw
github-go2PR.js
javascript:(function(){ m=document.location.href.match(/^https:\/\/github\.com\/[^/]+\/[^/]+/);if (!m) { window.alert('Not github window!') } else { pr=window.prompt('PR number?'); if(pr){document.location.href = m[0]+'/pull/'+pr;}}; })();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment