Categories: Tutorials

Dev Tip: Search for open PRs in Github for any user

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

Larry Battle

I love to program, and discover new tech. Check out my stackoverflow and github accounts.

Share
Published by
Larry Battle

Recent Posts

What really is Data Science? Told by a Data Scientist

What REALLY is Data Science? Told by a Data Scientist - By Joma Tech

7 years ago

Video: How Water Towers Work

How Water Towers Work - Practical Engineering

7 years ago

Dev Tip: Simple tips to improve code reviews

Writing perfect code is a challenging process. That's where code reviews come in to help…

7 years ago

Video: How AI will change the 3d industry

"The Next Leap: How A.I. will change the 3D industry - Andrew Price - Blender"

7 years ago

Best Software Presentation for 2018

"Captain Disillusion: World's Greatest Blenderer - Live at the Blender Conference 2018 - CaptainDisillusion"

7 years ago

Dev Video: A Few Linux Shell Tips

My 5 Favorite Linux Shell Tricks for SPEEEEEED (and efficiency) - By tutoriaLinux > What's…

7 years ago