
GitHub PR File Randomizer de Toby Crawley
Randomly sorts files on GitHub PR pages
1 utilizator1 utilizator
Metadate extensie
Despre această extensie
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.
Evaluat cu 0 de către 0 recenzori
Permisiuni și dateAflă mai multe
Permisiuni necesare:
- Să îți acceseze datele pentru github.com
Mai multe informații
- Linkurile suplimentului
- Versiune
- 1.1
- Mărime
- 8,49 KB
- Ultima actualizare
- 2 luni în urmă (30 iul. 2025)
- Categorii conexe
- Licență
- Licență MIT
- Istoricul versiunilor
- Adaugă în colecție
Note privind versiunea 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.