On Oct 24, 2007, at 9:48 PM, J. Bruce Fields wrote:
I want git pull to work like git push.
That strikes me as a less complete solution, since it only helps in
the
case where the other branches all happen to be unmodified locally
(hence
can be fast-forwarded). In other cases the "git push" will still
emit a
spurious error.
Well, but then there's something you should really think
about. Then you _have_ local changes that are not at the remote.
You need to handle them somehow. Maybe you forgot to push
earlier and now the remote advanced.
Btw, the 'new' git pull should already have reported a warning
that it failed to fast forward the local branch. git pull
should have suggested to explicitly merge the branch with
local changes.
Steffen
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
