Keeping track of all your open pull requests, PRs, in Github is hard.
This problem is multiplied when you contribute to multiple projects.
It’s even worse when you’re one of the few with merge rights to a popular repository with a lot of activity.
neovim pulse on github.com
Luckily, Github has advance search features that allow you to instantly find open PRs from a user.
Here’s how.
1. Go to https://github.com/search
2. Find the username of the person on github. Their username is on their github profile under their name.
3. Search
is:open is:issue author:${USER_NAME}
Example:
is:open is:issue author:LarryBattle
Github search for my open PRs.
Larry's Open Prs
I’ve used this search recently to close a few PRs back from 2012!
Closed Old PR
Pro Tip:
If your organization uses Github, then make sure the developers close out PRs or reassign it to someone else before they leave the company.
More info:
– Github Advance Search, useful for creating complex queries
– Searching on github
