Hi,
I have a general question about git/GitHub:
How can I keep an overview over the branches? How can I see which branch/PR is already merged?
Right now I do it manually each branch by branch: When a PR is merged I delete the branch manually.
Now I have a long list of branches and need to check which PR is already merged or not. And which branch is just a brunch that I never PRed.
