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
GitHub Plus - Enhance GitHub with additional features.
🤠 Github enhanced assistant warehouse display size - 🤠 Warehouse display size: On GitHub’s code search, warehouse search, issue page, user warehouse list and repository page, the size of the warehouse will be displayed next to the warehouse name, allowing users to quickly understand the scale of the warehouse and optimize their selection. Inactive development warning: If a repository has not been updated in the past six months, the system will add a prompt at the top of the repository to remind users that the repository is inactive and display the
YouTube Center - YouTube Center contains all kind of different useful functions which makes your visit on YouTube much more entertaining.

Greasy Fork镜像