Как настроить параметры фильтра проблем по умолчанию GitHub?
При поиске GitHub выдает фильтр поиска по умолчанию (is:pr is:open) применяется. См. Эту и эту страницы документации GitHub.
Как я могу настроить альтернативный фильтр по умолчанию для этого поиска?
Причина этого в том, что мы хотим скрыть PR наших обновленных ботов для нормальной работы.
1 ответ
Я не нашел способа изменить фильтр по умолчанию. Однако, если кто-то ищет способ отфильтровать те PR, которые не включают в себя участие renovatebot, просто добавьтеNOT renovate-botна ваш поисковый запрос.