rama de git track con nombre diferente

Tengo un repositorio que rastrea ramas no predeterminadas. Por lo tanto, hay una sucursal local llamada "master" que debe rastrear "origin / master-13.07". He hecho "push -u", y creo que debería ser suficiente, se realiza un seguimiento de la rama. Salida de lagit 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

Salida de lagit 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

Todo parece bien, pero cuando solo uso "git push" (como git me recomienda arriba), falla:

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

Sí, sé que el nombre no coincide, esto es exactamente lo que quiero y se lo dije a git por "push -u". ¿Por qué no puedo simplemente usar "push"?

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

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