☰

[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

Autor
HKR
Instalações hoje
0
Total de instalações
4
Avaliações
0 0 0
Versão
1.0
Criado
21/07/2021
Atualizado
22/07/2021
Tamanho
1,06 KB
Licença
N/A
Aplicável a

Você também pode experimentar estes scripts relacionados:

  • 🤠 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 Copiar arquivo original URL com download de arquivos - Botão Adicionar no final de cada linha do arquivo，para copiar o arquivo original URL e baixar arquivos
  • GitHub downloader de pasta - Adicione um botão de download，Permite fácil download de arquivos específicos GitHub pasta。
  • GitHub Embelezador de lista de arquivos - GitHub File List Beautifier é um script de usuário，usado para melhorar GitHub Efeito de exibição de arquivos no warehouse。Pode adicionar cores a arquivos e pastas，e substitua os ícones de tipo de arquivo por imagens pequenas，Torna a base de código mais fácil de navegar e gerenciar。Adicione cores e ícones aos arquivos por tipo，Exibir pequenas imagens no lugar dos ícones de tipo de arquivo na árvore de origem do repositório
  • Cópia do snippet e downloader de código de código do Github - Adicione um botão de cópia ao arquivo GIST para tornar o código facilmente copiado. |.