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

git push remote syntax

From
DHDiggory Hardy <lists@dhardy.name>
Date
Nov 7, 2016, 13:49 UTC
Message-ID
<1613741.x6i0st30av@localhost.localdomain>
Dear all,

One thing I find a little frustrating about git is that the syntax needed differs by command. I wish the 'remote/branch' syntax was more universal:

> git pull myremote/somebranch

complains about the syntax; IMO it should either pull from that branch (and merge if necessary) or complain instead that pulling from a different branch is not supported (and suggest using merge).

> git push myremote/somebranch
should push there, i.e. be equivalent to
> git push myremote HEAD:somebranch

These are just some comments about how I think git could be made easier to use. Apologies if the suggestions have already been discussed before.

Regards,
D Hardy
Next: Jeff King
Message 1 of 2 in “git push remote syntax”
  1. Diggory HardyNov 7, 2016
  2. Jeff KingNov 7, 2016

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.