☰

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 (☁)
  • GitHub Internationalization - Translate GitHub.com
  • My Prompt - Universal Prompt Manager for ChatGPT, Gemini, DeepSeek, Grok, Claude, and more LLMs. Optimize workflows with Prompt Enhance, Dynamic Prompts, Fast Navigation, and Quick Paste. Features Auto File Attachment, shortcut support, and full customization. Supports External Prompts with automatic updates, an ideal solution for standardizing operations and increasing efficiency for teams, developers, and workgroups.
  • GitHub Mirror - GitHub mirror. Accelerate access to GitHub. Support Clone, Release, RAW and ZIP acceleration.
  • GitHub Plus - Enhance GitHub with additional features.