Re: push.default: current vs upstream

Jeff King [off-list ref] writes:

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

quoted

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.