GitHub PR File Randomizer di Toby Crawley
Randomly sorts files on GitHub PR pages
1 utente1 utente
Metadati estensione
Informazioni sull’estensione
The extension will automatically run on GitHub PR files pages
(https://github.com//pull//files) and randomly shuffle the file order each
time you load or refresh the page.
Rationale
Files on pull requests are always sorted alphabetically, and reviewers typically
review from top to bottom. I posit that later files may not get as thorough of a
review as earlier ones, especially for large PRs. This aims to help with that.
(https://github.com//pull//files) and randomly shuffle the file order each
time you load or refresh the page.
Rationale
Files on pull requests are always sorted alphabetically, and reviewers typically
review from top to bottom. I posit that later files may not get as thorough of a
review as earlier ones, especially for large PRs. This aims to help with that.
Voto 0 da 0 revisori
Permessi e datiUlteriori informazioni
Permessi obbligatori:
- Accedere ai dati utente di github.com
Ulteriori informazioni
- Link componente aggiuntivo
- Versione
- 1.1
- Dimensione
- 8,49 kB
- Ultimo aggiornamento
- 3 mesi fa (30 lug 2025)
- Categorie correlate
- Licenza
- Licenza MIT
- Cronologia versioni
- Aggiungi alla raccolta
Note di versione per la versione 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.