
GitHub PR File Randomizer Autor: Toby Crawley
Randomly sorts files on GitHub PR pages
1 User1 User
Potrzebujesz Firefoksa, aby używać tego rozszerzenia
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.
Oceniony 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
- 16 dni 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.
Więcej rozszerzeń od: Toby Crawley
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen