☰

PR page improvements

many things for github PRs

Autore
Rather Not Say
Installazioni giornaliere
0
Installazioni totali
2
Valutazione
0 0 0
Versione
1.7
Creato il
05/07/2024
Aggiornato il
05/09/2025
Dimensione
3,38 KB
Licenza
Non disponibile
Applica a

Puoi provare anche questi scripts collegati:

  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.
  • PlumFont - Sostituisci Roboto, Segoe UI, Arial e altri font - Sostituisci i font delle pagine web con quelli preferiti. Smetti di usare Segoe UI, Arial e Microsoft YaHei. Sostituisci i numeri inglesi con i font SF Pro e Inter.
  • Apri il collegamento JSDelivr su GitHub - Apri il link GitHub su JSDELIVR per scaricare rapidamente i file
  • GitHub Star Warehouse Note Assistente - Hai dimenticato lo scopo dei repository a stelle? Questo è uno script che può aggiungere note ai tuoi repository preferiti e le informazioni che commenti possono essere caricate e scaricate su Github Gist
  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - staging - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.