title: Git: Is it possible to rename master?
body: <p>Is it possible to rename the <code>master</code> in git?<br>
  If that's not possible, is there a way to obtain a similar result? e.g. create a branch with a custom name (say <em>batman</em>), make that branch the new master and delete the old master?</p>
  
  <p>To exemplify. This is what I have now:</p>
  
  <pre><code>user@machine gitprojectpath (master)
  $
  </code></pre>
  
  <p>This is what I'd like to have</p>
  
  <pre><code>user@machine gitprojectpath (batman)
  $
  </code></pre>