DEV Community πŸ‘©β€πŸ’»πŸ‘¨β€πŸ’»

DEV Community πŸ‘©β€πŸ’»πŸ‘¨β€πŸ’» is a community of 963,503 amazing developers

We're a place where coders share, stay up-to-date and grow their careers.

Create account Log in
Erica Pisani
Erica Pisani

Posted on • Originally published at ericapisani.dev

Useful Github Search Capabilities for Issues and Pull Requests

In my day-to-day I often find myself wanting to search for pull requests and issues that I've commented on without necessarily being the author of the pull request/issue. Fortunately, Github has a couple of pretty useful search options for just this purpose!

Search by commenter

This is a filter I now use multiple times a day when I'm chatting with someone and have a "I know I've been in a conversation about this somewhere on Github already" moment.

The syntax for this is commenter:<a github username>.

Search for a user that's involved in an issue or pull request

More broad than the 'search by commenter' filter mentioned above, this works as an OR between the author, assignee, mentions, and commenter filters.

The syntax for this is involves:<a github username>

Wrap up

If you're interested in taking a look at some of the other search options that Github has (and I highly encourage doing so), you can find their full documentation about this topic here.

Top comments (0)

🌚 Life is too short to browse without dark mode