Add Sourcegraph Button to GitHub

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

Author

whtsky

Daily installs

Total installs

Ratings

1 0 0

Version

Created

2019-11-11

Updated

2020-06-18

Size

2.21 KB

License

N/A

Applies to

You can also try these related scripts:

Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
GitHub Internationalization - Translate GitHub.com
🏷️ UTags - Add usertags to links - Enhance your browsing experience by adding custom tags and notes to users, posts, and videos across the web. Perfect for organizing content, identifying users, and filtering out unwanted posts. Also functions as a modern bookmark management tool. Supports 100+ popular websites including X (Twitter), Reddit, Facebook, Threads, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork镜像, pixiv, Twitch, and many more.
YouTube Center - YouTube Center contains all kind of different useful functions which makes your visit on YouTube much more entertaining.
Download github repo sub-folder - download github sub-folder via one click, copy the single file's source code easily