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

Re: [WIP/RFC] Allow push and fetch urls to be different

From
Linus Torvalds <torvalds@linux-foundation.org>
Date
Jun 6, 2009, 17:57 UTC
Message-ID
<alpine.LFD.2.01.0906061057160.6847@localhost.localdomain>
In-Reply-To
<1244299395-6605-1-git-send-email-git@drmicha.warpmail.net>
On Sat, 6 Jun 2009, Michael J Gruber wrote:
>
> This introduces a config setting remote.$remotename.pushurl which is
> used for pushes only. If absent remote.$remotename.url is used for
> pushes and fetches as before.
Ack, looks sane to me. 
			Linus
Previous: Tay Ray ChuanNext: Junio C Hamano
Message 5 of 8 in “Using different protocols for "pull" and "push".”
  1. Nikos ChantziarasJun 4, 2009
  2. Junio C HamanoJun 5, 2009
  3. [WIP/RFC] Allow push and fetch urls to be differentMichael J Gruber, Jun 6, 2009
  4. Tay Ray ChuanJun 6, 2009
  5. Linus TorvaldsJun 6, 2009
  6. Junio C HamanoJun 7, 2009
  7. Michael J GruberJun 7, 2009
  8. Mike GaffneyJun 5, 2009

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.