Re: push.default: current vs upstream

Jeff King [off-list ref] writes:

I think it is as simple as applying the usual upstream rules, then
checking the remote name against the local name. Like this:

This fails if no upstream is configured. I think applying "current"
instead of failing in this case makes perfect sense (i.e. "simple"
should fail only if there is an upstream configured, and it has a
different name).

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/