git/list[1] front-page[2] threads[3] people[4] search[5] about
 

push from git gui goes to wrong branch

From
dexen deVries <dexen.devries@gmail.com>
Date
Dec 20, 2010, 14:09 UTC
Message-ID
<201012201509.22236.dexen.devries@gmail.com>
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
Message 1 of 1 in “push from git gui goes to wrong branch”
  1. dexen deVriesDec 20, 2010

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.