When creating the master base repository from a workspace I made a mistake that I realized only significant time later:
The default branch is not master, but some merge branch like post-merge.
So I want the default branch to be master instead, but I don't know how to do that:
In a workspace I would simply git checkout master, then delete the other branch.
But obviously in a bare repository I cannot checkout.