title: Why will git not let me delete a remote branch
body: <p>I have a local repository that I want to mirror to the remote 'websrv'. This used to work fine until I deleted a local branch. Now when I do</p>
  
  <pre><code>git push --mirror websrv
  </code></pre>
  
  <p>I get</p>
  
  <pre><code>remote: error: By default, deleting the current branch is denied, because the next
  remote: error: 'git clone' won't result in any file checked out, causing confusion.
  remote: error: 
  remote: error: You can set 'receive.denyDeleteCurrent' configuration variable to
  remote: error: 'warn' or 'ignore' in the remote repository to allow deleting the
  remote: error: current branch, with or without a warning message.
  remote: error: 
  remote: error: To squelch this message, you can set it to 'refuse'.
  remote: error: refusing to delete the current branch: refs/heads/ecoli-moments
  To git@141.89.117.199:~/baki_tracking.git
   ! [remote rejected] ecoli-moments (deletion of the current branch prohibited)
  </code></pre>
  
  <p>The branch 'ecoli-moments' points to the same commit as master, local and remote.</p>
  
  <p>What can I do about this so that the remote branch will be properly deleted?</p>
  
  <p><strong>Update:</strong></p>
  
  <p>The remote repository is bare, I checked the directory on the server (the config file has bare=true).</p>