git track branch com nome diferente

Eu tenho um repo que rastreia filiais não-padrão. Portanto, existe uma ramificação local chamada "master" que deve rastrear "origin / master-13.07". Eu fiz "push -u", e acredito que deveria ser suficiente, o ramo é rastreado. Saída dogit branch -vv:

C:\work\repo>git branch -vv
  stuff     68792df [origin/stuff-13.07] Small bugfix
* master 68792df [origin/master-13.07: ahead 1] Small bugfix

Saída dogit status

C:\work\repo>git status
# On branch master
# Your branch is ahead of 'origin/master-13.07' by 1 commit.
#   (use "git push" to publish your local commits)
#
nothing to commit, working directory clean

Tudo parece certo, mas quando eu uso apenas "git push" (como o git me recomenda acima), ele falha:

C:\work\repo>git push
fatal: The upstream branch of your current branch does not match
the name of your current branch.  To push to the upstream branch
on the remote, use

    git push origin HEAD:master-13.07

To push to the branch of the same name on the remote, use

    git push origin master

Sim, eu sei que o nome não corresponde, isso é exatamente o que eu quero e eu disse para git por "push -u". Por que não posso simplesmente usar "push"?

C:\work\repo>git --version
git version 1.8.3.msysgit.0

C:\work\repo>git config push.default
simple

questionAnswers(2)

yourAnswerToTheQuestion