> git config receive.denyCurrentBranch updateInstead

I didn't know that was possible to allow pushing the checked out branch - but for completeness, the alternative would be to make a bare repo where simply no branch is checked out.