Push after commit --local

[Matthieu Moy]

Robert Collins <robertc at robertcollins.net> writes:

> Theres a separate proposal to have commit be smart enough to push local
> commits even if theres nothing to commit locally. I'm not sure how I
> feel about that, it does not seem very satisfactory.

I'd say that commit could push the local commits if there are some,
_and_ commit the local changes on top of that. But having commit do a
push, I also find it weird. For me, "commit" creates a new revision in
any case.

-- 
Matthieu