Skip to content

Instantly share code, notes, and snippets.

@funwarioisii
Created May 15, 2023 02:11
Show Gist options
  • Save funwarioisii/0d6451e383100f071c53132c90dc41b0 to your computer and use it in GitHub Desktop.
Save funwarioisii/0d6451e383100f071c53132c90dc41b0 to your computer and use it in GitHub Desktop.
GitHub で issue や PR をクエリするときに使う機会が多いもの

GitHub で issue や PR をクエリするときに使う機会が多いもの

思いつき次第コメントかドキュメントを更新したい

ある日付以降にマージした PR

merged:>2023-05-08

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