GitHub PR File Randomizer от Toby Crawley
Randomly sorts files on GitHub PR pages
1 пользователь1 пользователь
Метаданные расширения
Об этом расширении
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.
Оценено 0 рецензентами на 0
Разрешения и данныеПодробнее
Требуемые разрешения:
- Получать доступ к вашим данных на github.com
Больше сведений
- Ссылки дополнения
- Версия
- 1.1
- Размер
- 8,49 КБ
- Последнее обновление
- 2 месяца назад (30 июля 2025 г.)
- Связанные категории
- Лицензия
- Лицензия MIT
- История версий
- Добавить в подборку
Примечания к выпуску 1.1
This fixes randomization to work if the file loading takes more than a few milliseconds, as they are loaded asynchronously.