☰

Add Sourcegraph Button to GitHub

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

Author
whtsky
Daily installs
0
Total installs
50
Ratings
1 0 0
Version
5
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
  • Github Search Purification - Clean up Github search page, block sensitive repositories by cirosantilli and others.
  • 🏷️ UTags - Add usertags to links - Add custom tags or notes to links such as users, posts and videos. For example, tags can be added to users or posts on a forum, making it easy to identify them or block their posts and replies. It works on X (Twitter), Reddit, Facebook, Threads, Instagram, Youtube, TikTok, GitHub, Greasy Fork, Hacker News, pixiv and numerous other websites.
  • 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 (☁)