☰

Add Sourcegraph Button to GitHub

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

À partir de 2020-06-18. Voir la dernière version.

Visiter le site de soutien technique de l'auteur.

FranklinYu 2021-04-15
Dernier: FranklinYu 2021-04-15
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.