Git Track Zweig mit unterschiedlichem Namen

Ich habe ein Repo, das nicht standardmäßige Zweige verfolgt. Es gibt also einen lokalen Zweig namens "master", der "origin / master-13.07" verfolgen soll. Ich habe "push -u" gemacht, und ich glaube, es sollte genug sein, der Zweig wird nachverfolgt. Ausgabe dergit 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

Ausgabe dergit 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

Alles scheint in Ordnung zu sein, aber wenn ich nur "git push" benutze (wie von git oben empfohlen), schlägt dies fehl:

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

Ja, ich weiß, dass der Name nicht passt, das ist genau das, was ich will, und ich habe es mit "push -u" angekündigt. Warum kann ich nicht einfach "push" benutzen?

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

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

Antworten auf die Frage(2)

Ihre Antwort auf die Frage