Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Search in Issues feature gone from GitHub?

Not sure when it happened, before the change or after, but I'm not able to find a search box for searching in issues anymore. Has it been relocated, or it's gone?

like image 714
jayarjo Avatar asked Jul 07 '13 07:07

jayarjo


People also ask

How do I use issues in GitHub?

To link related issues in the same repository, you can type # followed by part of the issue title and then clicking the issue that you want to link. For more information, see "Writing on GitHub."

How do I search inside a GitHub repository?

Go here: https://github.com/search and enter "pattern repo:user_name/repo_name". because by default it searches for repositories matching that search string... So just click on the left on "Code" and it will display what you want.

How do I search labels in GitHub?

Github does not support searching the labels that way. The searching for issues is considered to be an "AND" instead of an "OR" .


2 Answers

Any search you do in the main search field (preceded with "This repository") when you are in a GitHub repo page will return:

  • result in code
  • and issues

Note: The shortcut / will focus on the search field and search within the context of a repository.
Note: that shortcut doesn't work with a french keyboard on Firefox. And it only works if I type ':' (again on a French Keyboard) in Chrome. So your mileage may vary. With US locale, this should work fine.

add search

Note that in 2022 (9 years later), there is a command palette, and you can customize the keyboard shortcuts.

like image 184
VonC Avatar answered Oct 01 '22 13:10

VonC


When browsing a repository, you can use the "/" shortcut (just type the character) to easily search issues (as well as the code.) There are a lot of really helpful shortcuts (i.e. "gi", which transports you to a repos issues list.)

Type "?" to get a list of shortcuts for a particular context.

like image 21
ezkl Avatar answered Oct 01 '22 12:10

ezkl