Add Sourcegraph Button to GitHub

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

Autor
whtsky
Instalações hoje
0
Total de instalações
50
Avaliações
1 0 0
Versão
5
Criado
11/11/2019
Atualizado
18/06/2020
Tamanho
2,21 KB
Licença
N/A
Aplicável a

Você também pode experimentar estes scripts relacionados:

  • 🏷️ UTags - Adicionar tags de usuário aos links - Melhore sua experiência de navegação adicionando tags personalizadas e notas a usuários, posts e vídeos na web. Perfeito para organizar conteúdo, identificar usuários e filtrar posts indesejados. Também funciona como uma ferramenta moderna de gerenciamento de favoritos. Suporta mais de 100 sites populares, incluindo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e muitos outros.
  • GitHub downloader de pasta - Adicione um botão de download,Permite fácil download de arquivos específicos GitHub pasta。
  • 🤠 Tamanho de exibição do armazém do assistente aprimorado do Github - 🤠 Tamanho de exibição do armazém: na pesquisa de código do GitHub, pesquisa de armazém, página de problemas, lista de armazém do usuário e página de repositório, o tamanho do armazém será exibido ao lado do nome do armazém, permitindo aos usuários entender rapidamente a escala do armazém e otimizar seu seleção. Aviso de desenvolvimento inativo: se um repositório não tiver sido atualizado nos últimos seis meses, o sistema adicionará um prompt na parte superior do repositório para lembrar aos usuá
  • GitHub Classificar por data - Alterar a classificação dos arquivos para decrescente por data,Visualize convenientemente os arquivos atualizados mais recentes。
  • GitHub Confirmar automaticamente a autorização do dispositivo - existirGitHubA página de autorização insere automaticamente o código de autorização e o confirma automaticamente.。