
GitHub PR File Randomizer door Toby Crawley
Randomly sorts files on GitHub PR pages
1 gebruiker1 gebruiker
Metagegevens van extensie
Over deze 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.
Met 0 gewaardeerd door 0 beoordelaars
Toestemmingen en gegevensMeer info
Vereiste machtigingen:
- Uw gegevens voor github.com benaderen
Meer informatie
- Add-on-koppelingen
- Versie
- 1.1
- Grootte
- 8,49 KB
- Laatst bijgewerkt
- 2 maanden geleden (30 jul. 2025)
- Verwante categorieën
- Licentie
- MIT-licentie
- Versiegeschiedenis
- Toevoegen aan collectie
Uitgaveopmerkingen voor 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.