☰

Add Sourcegraph Button to GitHub

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

How to install

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

How to install

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Author
whtsky
Daily installs
0
Total installs
51
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 (☁)
  • My Prompt - Optimize your workflow and turn AI into your personal agent! Save and organize all your prompts in your personal library. Explore Dynamic Prompt Mode to create interactive prompts. Elevate simple prompts to professional quality with AI Enhance and auto-attach recurring files. Perfect for boosting productivity on ChatGPT, Gemini, Grok, DeepSeek, and other LLMs.
  • GitHub Internationalization - Translate GitHub.com
  • Global Font: Adobe-branded - An user stylesheet to replace all fonts on web pages with Adobe-branded fonts, brings you a more unified and beautiful visual style.
  • GitHub Internationalization - Translate GitHub