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.
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.
I’ve used this search recently to close a few PRs back from 2012!
More info:
– Github Advance Search, useful for creating complex queries
– Searching on github
What REALLY is Data Science? Told by a Data Scientist - By Joma Tech
Writing perfect code is a challenging process. That's where code reviews come in to help…
"The Next Leap: How A.I. will change the 3D industry - Andrew Price - Blender"
"Captain Disillusion: World's Greatest Blenderer - Live at the Blender Conference 2018 - CaptainDisillusion"
My 5 Favorite Linux Shell Tricks for SPEEEEEED (and efficiency) - By tutoriaLinux > What's…