title: Can't delete remote master branch
body: <p>I'm trying to delete the remote master branch:</p>
  
  <pre><code>git push origin :master
  </code></pre>
  
  <p>My list of branches:</p>
  
  <pre><code>$ git branch -avv
  * survey-content                c3356d9 [origin/survey-content] Runtime textures for survey
    remotes/origin/master         4300c27 New Survey layout for message header
    remotes/origin/survey-content c3356d9 Runtime textures for survey
  </code></pre>
  
  <p>When I do the <code>git push</code> I mentioned earlier, I get the following error:</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/master
  To c:/Dropbox/Repositories/repo.git
   ! [remote rejected] master (deletion of the current branch prohibited)
  error: failed to push some refs to 'c:/Dropbox/Repositories/repo.git'
  </code></pre>
  
  <p>This is a bare repository that I'm pushing to, so there should be no "current branch". Why can't I delete the master branch remotely? It should be no different from any other branch, especially since I have previously gotten rid of <code>origin/HEAD</code>.</p>