如何过滤合并和关闭但尚未删除分支的Github PR

Jus*_*tyn 11 github filter pull-request

在Github中提交PR之后,它会获得批准,然后合并为主人.此时我应该删除我的分支以保持整洁.我不是天使,经常忘记这样做!

Github有一个方便的Pull请求页面来跟踪所有打开/关闭的PR.我想知道的是,可以通过以下方式过滤我的PR:

is:pr author:myusername is:closed is:merged 然后像 is:branchAliveYouFool

这将向我显示我创建的所有PR,这些PR已关闭,已合并,并且至关重要的是,尚未删除分支.

我搜索了可以使用但无法找到我要找的内容的术语:https: //help.github.com/articles/searching-issues-and-pull-requests/

任何想法将不胜感激.谢谢 :)

Pot*_*ark 2

访问链接:https://github.com/"your-account"/"your-repo"/branches/yours应该会显示您正在寻找的内容。