title: git push with different user than current unix user
body: <p>I'm trying to create a new repo with git.  The server is https.  I'm logged in as another user which isn't authorized to push into the server. Can I push with a specific username?  I do the following:</p>
  
  <pre><code>git remote add origin ssh://git.example.com/repo/project.git
  git config auth
  git config credential.https://git.example.com/repo/project.git username@example.com
  git push -v origin master
  </code></pre>
  
  <p>For example I get asked to login as vagrant, not username@example.com:</p>
  
  <pre><code>vagrant@lucid64:~/django_projects$ git push origin master
  vagrant@git.frogdesign.com's password: 
  </code></pre>