Github でマージされたプルリクを日付でフィルターしたい
例えば本日から過去2週間以内にマージされたプルリクを検索したいなら
code:github
is:pr merged:>=2022-02-04
て感じで検索したらよい。日付のフォーマットはYYYY-MM-DDであること。
https://docs.github.com/ja/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-when-a-pull-request-was-merged
PRを作った人もフィルターにかけたいなら
code:github
is:pr merged:>=2022-09-01 author:hogehoge
みたいにすればよい。
秒単位でも検索できるみたいだが、一体いつ使うんだろうと思った。知らなかったけど他にもたくさん細かくfilterかけられることを知った。