Skip to content

Instantly share code, notes, and snippets.

@yavorski

yavorski/gh-search-user-pulls.md

Created April 14, 2021 20:17
Show Gist options
  • Save yavorski/3d53274d58d82074f6d436a03f7c8f76 to your computer and use it in GitHub Desktop.
Save yavorski/3d53274d58d82074f6d436a03f7c8f76 to your computer and use it in GitHub Desktop.
Download ZIP
Search for pull requests from a given user in Gitgub
Raw
gh-search-user-pulls.md
  • is:pr involves:yavorski
  • https://github.com/search?q=is%3Apr+involves%3Ayavorski
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment