Add Sourcegraph Button to GitHub

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

queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.

  • v5 18/06/2020 Imported from URL
  • v4 04/03/2020 Imported from URL
  • v3 13/02/2020 Imported from URL
  • v2 20/11/2019 Imported from URL
  • v1 11/11/2019 Imported from URL