From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 08 Apr 2012 04:43:43 GMT
Subject: Re: push.default: current vs upstream
Message-ID: <7viphaygsg.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120407075150.GA18168@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

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