From: Jeff King Date: Sat, 07 Apr 2012 07:51:50 GMT Subject: Re: push.default: current vs upstream 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: > 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