Skip to content

Instantly share code, notes, and snippets.

@Roms1383

Roms1383/url.md

Created June 4, 2023 04:05
Show Gist options
  • Save Roms1383/d7b8752ea61bbdbf39940f46d8b7a729 to your computer and use it in GitHub Desktop.
Save Roms1383/d7b8752ea61bbdbf39940f46d8b7a729 to your computer and use it in GitHub Desktop.
Download ZIP
Find all my merged PR, excluding my own repositories
Raw
url.md

Find all my merged PR, excluding my own repositories:

is:merged is:pr author:Roms1383 -user:Roms1383 
# or
https://github.com/pulls?q=is%3Amerged+is%3Apr+author%3ARoms1383+-user%3ARoms1383+

useful when asked, e.g. during job application process, to show one's open-source contributions.

@Roms1383
Copy link
Author

Roms1383 commented Jun 4, 2023

more informations and available filters in:

@Roms1383
Copy link
Author

⚠️ There seems to currently be an issue where running the search on target repo actually returns the full list of PR's, while running it with in:name reponame only returns a subset of them:

https://github.com/pulls?q=is%3Apr+is%3Amerged+author%3ARoms1383+in%3Aname+red4ext-rs+

vs

https://github.com/jac3km4/red4ext-rs/pulls?q=is%3Apr+is%3Amerged+author%3ARoms1383+

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment