☰

PR page improvements

many things for github PRs

Autor
Rather Not Say
Instalações hoje
0
Total de instalações
2
Avaliações
0 0 0
Versão
1.7
Criado
05/07/2024
Atualizado
05/09/2025
Tamanho
3,38 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.
  • 🤠 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 downloader de pasta - Adicione um botão de download，Permite fácil download de arquivos específicos GitHub pasta。
  • Github Lista de linguagens de código mostra todas - Expandir Github Lista de idiomas no repositório，Mostrar cada idioma，Em vez de esconder pequenas peças“outro”Abaixo
  • Abra o link JSDelivr no GitHub - Abra o link do github no JSDelivr para baixar rapidamente arquivos