title: Git bare repository has master branch checked out?
body: <p>I'm quite sure this question has been asked before but I dont seem to find it. So sorry if it is a dublicate. </p>
  
  <p>I have a bare repository  lets call it project_x.git, if we check the config file it says</p>
  
  <pre><code>[core]
  repositoryformatversion = 0
  filemode = false
  bare = true
  symlinks = false
  ignorecase = true
  hideDotFiles = dotGitOnly
  </code></pre>
  
  <p>so it bare for sure right, bare=true. Now I'm trying to replace master with a cleanup version. </p>
  
  <pre><code>$ git push origin :master
  remote: Updating references: 100% (1/1)
  To http://gitrepo.local/git/project_x.git
  ! [remote rejected] master (branch is currently checked out)
  error: failed to push some refs to 'http://gitrepo.local/git/project_x.git'
  </code></pre>
  
  <p>I'm using gitblit btw, and that is not the actual server url. </p>
  
  <p>This response puzzels me, how can I have a checkout branch on my bare repo? Who is working on that branch :), Makes no sense. Either it is not bare some how config wise or gitblit is messing with me. I dont understand?</p>
  
  <p>What is wrong?</p>
  
  <p><strike>btw same message if I try</strike></p>
  
  <pre><code>git push -f , 
  </code></pre>
  
  <p>Edit: this works but you can not delete the branch as I tried earlier.</p>
  
  <p>Thanks</p>