* push from git gui goes to wrong branch
@ 2010-12-20 14:09 dexen deVries
0 siblings, 0 replies; only message in thread
From: dexen deVries @ 2010-12-20 14:09 UTC (permalink / raw)
To: git
Hello,
there's a behavior in git gui (v1.7.3.2 and previous) that I consider bugous.
Failed to find any bugreporting system on git's website so I'm reporting it
here; please correct me if that's wrong.
I have the following snippet in my .git/config:
[branch "article"]
remote = baron
merge = refs/heads/dexen-article
However, the `Push' button from git gui sends local branch `article' to remote
branch `article', rather than to the indicated `dexen-article'.
For reference, with the CLI `git push', the local branch `article' is pushed
to remote branch `dexen-article' as expected.
Regards,
--
dexen deVries
``You want to make your way in the CS field? Simple. Calculate rough time of
amnesia (hell, 10 years is plenty, probably 10 months is plenty), go to the
dusty archives, dig out something fun, and go for it. It's worked for many
people, and it can work for you.'' - Ron Minnich
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-12-20 14:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-12-20 14:09 push from git gui goes to wrong branch dexen deVries
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).