Cleanup branches
We have a lot of branches here that were already deleted in the github repo. We should delete all these old branches.
We have a lot of branches here that were already deleted in the github repo. We should delete all these old branches.