☰

Add Sourcegraph Button to GitHub

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

Version au 20/11/2019. Voir la dernière version.

Visitez le site l'auteur pour obtenir de l'aide

FranklinYu 15/04/2021
Dernier: FranklinYu 15/04/2021
Bon This works very nice, thank you! Maybe replace the text “Sourcegraph” with the logo? I find https://avatars.githubusercontent.com/u/3979584?v=4 pretty usable.

Poster un avis, un commentaire ou une question

Si vous pensez que ce script enfreint les règles deGreasy Fork, veuillez le signaler pour le retirer.

Connectez-vous pour poster un avis, un commentaire ou une question.