Open
Description
Hey @geky! Just a project maintenance recommendation, go under the github settings an enable "Automatically delete head branches." And then maybe go back through and delete all the merged-in branches.
After pull requests are merged, you can have head branches deleted automatically.
[ ] Automatically delete head branches
Deleted branches will still be able to be restored.