Не знаю, когда это произошло, до изменить или после, но я больше не могу найти окно поиска для поиска в проблемах. Был ли он перемещен, или он ушел?
Поиск в разделе "Проблемы" исчез из GitHub?
Ответ 1
Любой поиск, который вы выполняете в основном поле поиска (которому предшествует " Этот репозиторий" ), когда вы находитесь на странице репозитория GitHub, вернется:
- введите код
- и проблемы
Примечание. Ярлык / будет фокусироваться на поле поиска и искать в контексте репозитория.
Примечание. Этот ярлык не работает с французской клавиатурой в Firefox. И это работает, только если я набираю ':' (опять же на французской клавиатуре) в Chrome. Таким образом, ваш пробег может отличаться. С US locale это должно работать нормально.
Ответ 2
При просмотре репозитория вы можете использовать ярлык "/" (просто введите символ), чтобы легко находить проблемы (а также код). Есть много действительно полезных ярлыков (например, "gi", которые переносят вы попадете в список проблем с репозиториями.)
Введите "?" для получения списка ярлыков для конкретного контекста.