How to filter Github PRs that are merged and closed but the branch hasn't been deleted

Question

After submitting a PR in Github, it gets approved and then it's merged into master. At this point I should delete my branch to keep things tidy. I'm no angel and often forget to do this!

Github has a handy Pull requests page to keep track of all your open/closed PRs. What I would like to know is, can a filter my PRs by the following:

is:pr author:myusername is:closed is:merged then something like is:branchAliveYouFool

This would show me all PRs that I've created, that are closed, that have been merged and, crucially, that haven't had the branch deleted.

I've searched through the terms that can be used but can't find what I'm looking for: https://help.github.com/articles/searching-issues-and-pull-requests/

Any thoughts would be appreciated. Thanks :)

Answer 1

Visiting the link: https://github.com/"your-account"/"your-repo"/branches/yours should show you what you're looking for.