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

Re: [PATCH 2/2] push: --ignore-stale option

From
Junio C Hamano <gitster@pobox.com>
Date
Dec 15, 2011, 18:21 UTC
Message-ID
<7vmxatofvr.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20111215073816.GD1327@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
> But I still see this as solving the wrong problem, and encouraging a
> dangerous workflow.

Yes, that is what I meant, so we are in total agreement that these people should be encouraged not to use the matching semantics.

How that encouragement is made we may differ, though.
Previous: Marc BranchaudNext: Junio C Hamano
Message 5 of 11 in “push: --ignore-stale option”
  1. 2/2 push: --ignore-stale optionJunio C Hamano, Dec 13, 2011
  2. Andreas EricssonDec 13, 2011
  3. Jeff KingDec 15, 2011
  4. Marc BranchaudDec 15, 2011
  5. Junio C HamanoDec 15, 2011
  6. Junio C HamanoDec 19, 2011
  7. 1/2 advice: Document that they all default to trueJunio C Hamano, Dec 19, 2011
  8. Jeff KingDec 19, 2011
  9. 2/2 push: hint to use push.default=upstream when appropriateJunio C Hamano, Dec 19, 2011
  10. Jeff KingDec 19, 2011
  11. Junio C HamanoDec 19, 2011

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.