Month: June 2018

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

More info:
– Github Advance Search, useful for creating complex queries
– Searching on github

Larry Battle

I love to program, and discover new tech. Check out my <a href="http://stackoverflow.com/users/527776/larry-battle">stackoverflow</a> and <a href="https://github.com/LarryBattle">github</a> accounts.

More Posts - Website

Follow Me: