Инструменты
GitHub запускает обновлённую страницу pull request репозитория
GitHub сделал переработанную страницу pull request репозитория общедоступной для всех пользователей: в ней появились расширенный поиск с операторами AND и OR и сворачиваемая боковая панель для быстрой фильтрации. Новый интерфейс поддерживает массовые действия, например одновременную установку меток и закрытие нескольких pull request, компактный режим отображения и индикаторы проверок статуса и непрочитанных обновлений. Списки также можно фильтровать щелчком по статусам ревью, а этапы, связанные задачи и значки авторов видны сразу.
Переведено с помощью ИИ.