☰

Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

As of 18/06/2020. See the latest version.

Visit the author's support site.

FranklinYu 15/04/2021
Last: FranklinYu 15/04/2021
Good This works very nice, thank you! Maybe replace the text “Sourcegraph” with the logo? I find https://avatars.githubusercontent.com/u/3979584?v=4 pretty usable.

Post a review, comment, or question

If you think this script is breaking Greasy Fork's rules, please report it for removal.

Sign in to post a review, comment, or question.