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.
  • 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 (☁)
  • 🏷️ 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. Supports 100+ popular websites including X (Twitter), Reddit, Facebook, Threads, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch, and many more.