Git won’t push into a bare repository on server – mentioning receive.denyCurrentBranch

• https://stackoverflow.com/questions/804545/what-is-this-git-warning-message-when-pushing-changes-to-a-remote-repository

$ git config receive.denyCurrentBranch updateInstead

This is certainly a “brute force” approach – so be cautious!