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

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

From
Junio C Hamano <gitster@pobox.com>
Date
Jan 26, 2015, 16:31 UTC
Message-ID
<xmqqppa1mrku.fsf@gitster.dls.corp.google.com>
In-Reply-To
<loom.20150126T091917-791@post.gmane.org>

The conclusions from the last time we discussed this [*1*], the last word was that

	git push $some_opt... --repo=$Repo $more_opt... $args...
is designed to work exactly like
	git push $some_opt... $more_opt... $Repo $args...

and the documentation that says otherwise is incorrect. It seems that we never followed up on this after we made that determination, which is unfortunate. We should at least correct the documentation.

[Reference]
*1* http://thread.gmane.org/gmane.comp.version-control.git/110827/focus=111715
Previous: PremNext: Michael J Gruber
Message 2 of 9 in “git push --repo option not working as described in git manual.”
  1. PremJan 26, 2015
  2. Junio C HamanoJan 26, 2015
  3. git-push.txt: document the behavior of --repoMichael J Gruber, Jan 27, 2015
  4. Junio C HamanoJan 27, 2015
  5. Eric SunshineJan 27, 2015
  6. Prem MuthedathJan 28, 2015
  7. Junio C HamanoJan 28, 2015
  8. Eric SunshineJan 28, 2015
  9. Junio C HamanoJan 28, 2015

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.