Skip to content

Instantly share code, notes, and snippets.

@lesteve
Last active March 2, 2018 08:54
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 lesteve/470170f288884ec052bcf4bc4ffe958a to your computer and use it in GitHub Desktop.
Save lesteve/470170f288884ec052bcf4bc4ffe958a to your computer and use it in GitHub Desktop.
Greasemonkey script that adds a button to the PR page to open the doc generated by CircleCI for this PR.
@rth
Copy link

rth commented Oct 13, 2017

This is great. Can confirm it also works on Chome with Tampermonkey.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment