Hi, > Of course then I want to push dev and move origin/dev to refer to it. > So I delete and recreate origin/dev. That's essentially like > rebasing, and all the advice says "don't do it." How bad is that, > really, if it's my own development branch? If I understand correctly, you want a non-FF push. Simply develop on dev and `git push origin +dev:dev` to force a non-FF push. It's not bad at all if your branch isn't public and others aren't pulling from it. -- Ram -- 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