Github searches For use in search boxes n the github UI PRs merged between dates is:pr is:closed merged:2022-06-08..2022-06-09 base:main sort:updated-desc