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