# git push --repo option not working as described in git manual.

1 messages from 2015-01-23 to 2015-01-23. Participants: Prem Muthedath.
Thread: https://gitlist.dev/t/38442

## Prem Muthedath, 2015-01-23 13:24

Subject: git push --repo option not working as described in git manual.
Message-ID: <CAHQ-GLAwo5QbM4mUQeUjU39o29F0JK7gK-Q-oHK4Jai=gy5Otg@mail.gmail.com>
URL: https://gitlist.dev/e/CAHQ-GLAwo5QbM4mUQeUjU39o29F0JK7gK-Q-oHK4Jai%3Dgy5Otg%40mail.gmail.com

```
I am using git 2.2.2 and want to report an issue with git push --repo option.

git 2.2.2 manual says that git push --repo=public will push to public
only if the current branch does not track a remote branch.  See
http://git-scm.com/docs/git-push

However, I see that git pushes even when the current branch is
tracking a remote branch.

Here is the test case (push default setting is simple, git version
2.2.2, Mac OS X 10.10.1):
1. I have a local branch "master".
2. "master" tracks remote branch "blah/master".  Here "blah" is the
remote repository.
3. While I am on my local master branch, I run git push --repo=silver
4. git pushes the local master branch to silver repository.
5. But per git manual, it shouldn't push to silver, as the local
branch is tracking "blah/master".


Here is another test case (push default setting is simple, git version
2.2.2, Mac OS X 10.10.1):
1. I have a local branch "whoa".
2. "whoa" tracks remote branch "origin/whoa".  Here "origin" is the
remote repository.
3. While I am on my local whoa branch, I run git push --repo=blah
4. git pushes the local whoa branch to blah repository.
5. But per git manual, it shouldn't push to blah, as the local branch
is tracking "origin/whoa".


Appreciate your help.
Prem

```