title: Configure git push destination branch name different from the local name
body: <p>I am working with Gerrit and when I push a commit, I use the syntax <code>git push origin master:/refs/for/master</code></p>
  
  <p>I would like to configure Git to automatically push my current branch to <code>refs/for/master</code> if my current branch is <code>master</code>. My claim is to be able to keep using <code>git push</code> to push to Gerrit review server instead of Git server.</p>
  
  <p><strong>My config file</strong></p>
  
  <pre><code>[remote "origin"]
          fetch = +refs/heads/*:refs/remotes/origin/*
          url = git@GitServer:/myrepo
  [branch "master"]
          remote = origin
          merge = refs/head/master
  [url "ssh://user@GerritServer:29418/myrepo.git"]
    pushInsteadOf = git@GitServer:/myrepo
  </code></pre>
  
  <p><strong>Note:</strong> The git repository is not handled by Gerrit, this is why I used the option <code>pushInsteadOf</code> to push to Gerrit server.</p>