Re: push.default: current vs upstream

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 8, 2012, 04:43 UTC
Message-ID: <7viphaygsg.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120407075150.GA18168@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 7 quoted lines

> On Sat, Apr 07, 2012 at 09:49:47AM +0200, Michael Haggerty wrote:
> ...
>> If "push.default" is not set, then have it default to "beginner" mode.
>
> I would be fine with that (I've suggested it elsewhere in the thread,
> though I think I stole the idea originally from you. Speaking of going
> in circles. :) ).

This makes the first priority for 1.7.10 cycle to come up with a solid implementation of the "beginner" mode, I guess.

$ 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.