How to exclude search results?

About 40% of commits in https://github.com/dotnet/winforms/ repo is done by a bot (example).

I want to see all PRs from humans and exlcude the automated PRs. How can I do that?

Hello @russkie,

You can exclude certain subsets by prefixing the qualifier with a “-”. So -author:app/dotnet-maestro will exclude all results where the author is the bot. You can read more about the search syntax here.

1 Like

Awesome! Thank you.

I wish the same page was linked from https://help.github.com/en/articles/searching-issues-and-pull-requests or from the actual “advanced search” link

github-search.png

1 Like

It does not work, examples:

github/git-msysgit always in search results.