GitHub PR File Randomizer Autor: Toby Crawley
Randomly sorts files on GitHub PR pages
1 użytkownik1 użytkownik
Metadane rozszerzenia
O tym rozszerzeniu
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.
Ocenione na 0 przez 0 recenzentów
Uprawnienia i daneWięcej informacji
Wymagane uprawnienia:
- Mieć dostęp do danych użytkownika na stronie „github.com”
Więcej informacji
- Strony dodatku
- Wersja
- 1.1
- Rozmiar
- 8,49 KB
- Ostatnia aktualizacja
- 2 miesiące temu (30 lip 2025)
- Powiązane kategorie
- Licencja
- Licencja MIT
- Historia wersji
- Dodaj do kolekcji
Informacje o wydaniu 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.