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

Re: Separate default push/pull?

From
Junio C Hamano <gitster@pobox.com>
Date
Feb 12, 2010, 05:57 UTC
Message-ID
<7vvde3dmhp.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20100212010549.GA23303@coredump.intra.peff.net>
Jeff King <peff@peff.net> writes:
> In a distributed setup, I don't think it is that uncommon to not want to
> push to the place you pull from. You are generally pulling and building
> on somebody else's work, so if there is no central repo, you will be
> pushing to somewhere that is not where you pulled it.
You are probably right.

It still feels funny to see "git pull" and "git push" goes to different places, but as long as that is what the user explicitly configures, that's fine.

Previous: Jeff KingNext: Jeff King
Message 6 of 8 in “Separate default push/pull?”
  1. David AbrahamsFeb 11, 2010
  2. Chris PackhamFeb 11, 2010
  3. Jeff KingFeb 12, 2010
  4. Junio C HamanoFeb 12, 2010
  5. Jeff KingFeb 12, 2010
  6. Junio C HamanoFeb 12, 2010
  7. Jeff KingFeb 13, 2010
  8. David AbrahamsFeb 12, 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.