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?
Solved! Go to Solution.
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.
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