0
以下のフィルタを使用して、PRを2017-03-19より上に閉じます。しかし、特定の日付でフィルタリングする方法があります。GitHub PRを特定のマージ日付でフィルタリングするにはどうすればいいですか?
is:pr is:closed merged:>=2017-03-19 base:master sort:updated-desc
下記の失敗:
is:pr is:closed merged:=2017-03-19 base:master sort:updated-desc
非常に便利です:) –