This userscript has moved to https://github.com/lesteve/userscripts/blob/master/add-button-for-pr-circleci-doc.user.js.
Last active
March 2, 2018 08:54
-
-
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.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This is great. Can confirm it also works on Chome with Tampermonkey.