PR Search: Дополнение для поиска PR и задач на GitHub
PR Search - это расширение для Chrome, разработанное rikucherry0522. Оно относится к категории Браузеры и классифицируется как подкатегория Дополнения и инструменты. Это бесплатное расширение направлено на улучшение функциональности поиска для запросов на получение (Pull Requests) и задач на GitHub.
С помощью PR Search пользователи могут получить дополнительные варианты фильтрации запросов на получение и задач. Расширение добавляет выпадающие меню для фильтрации по типу, состоянию и ключевым словам, позволяя пользователям сузить результаты поиска. Кроме того, PR Search предоставляет выбор даты для поиска по конкретной дате или диапазону дат.
Дополнительные элементы пользовательского интерфейса удобно отображаются под заголовком контейнера страницы как на странице списка задач, так и на странице списка запросов на получение, что облегчает доступ и использование расширенной функциональности поиска.
PR Search - это ценный инструмент для пользователей GitHub, которые часто работают с запросами на получение и задачами. Он упрощает процесс поиска и предоставляет больше контроля и гибкости при поиске нужных запросов на получение или задач.