GitHub PR File Randomizer troch Toby Crawley
Randomly sorts files on GitHub PR pages
1 brûker1 brûker
Metadata útwreiding
Oer dizze útwreiding
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.
Wurdearre: 0 troch 0 beoardielers
Tastimmingen en gegevensMear ynfo
Fereaske machtigingen:
- Jo gegevens foar github.com benaderje
Mear ynformaasje
- Add-on-keppelingen
- Ferzje
- 1.1
- Grutte
- 8,49 KB
- Lêst bywurke
- 2 moannen lyn (30 jul. 2025)
- Sibbe kategoryen
- Lisinsje
- MIT-lisinsje
- Ferzjeskiednis
- Tafoegje oan kolleksje
Utjefte-opmerkingen foar 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.