在Github中提交Pull Request后,它会被批准并合并到主分支。此时,为了保持整洁,我应该删除我的分支,但我常常忘记这么做!Github有一个方便的Pull Requests页面来跟踪您所有打开/关闭的PR。我想知道的是,能否通过以下方式过滤我的PR:
is:pr author:myusername is:closed is:merged
然后类似于is:branchAliveYouFool
这将显示我创建的所有已关闭且已合并但关联的分支仍未被删除的PR。我已经搜索了可以使用的术语,但找不到我要找的内容:
https://help.github.com/articles/searching-issues-and-pull-requests/
感谢您的帮助。