Re: push.default: current vs upstream

From: Jeff King <peff@peff.net>
Date: Apr 7, 2012, 07:51 UTC
Message-ID: <20120407075150.GA18168@sigill.intra.peff.net>
In-Reply-To: <4F7FF19B.1060407@alum.mit.edu>

On Sat, Apr 07, 2012 at 09:49:47AM +0200, Michael Haggerty wrote:

Show 12 quoted lines

> Exactly.  Choosing between "current vs upstream" is a false dichotomy.
> 
> Let's create a new "push.default" option (call it "beginner" for the
> sake of discussion) that is intended for use *only* for people who
> haven't explicitly chosen another alternative.  Let the "beginner"
> option do the obvious thing when it is uncontroversial and
> undangerous, and let it output a beginner-level help message in any
> scenarios where the right thing to do is not obvious.  The help
> message should basically recommend that the user run "git config
> push.default VALUE" and explain the meaning of the possible VALUEs.
> 
> 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. :) ).

-Peff