On 23 Dec 2011, at 22:49, Frans Klaver wrote: > Well, the proper way is to revert the commits. That won't result in all other developers having to deal with a force-updated branch. If you can deal with it you can always > > $ git push origin +branch > > but I wouldn't consider that a nice thing to do. Good information, thank you. I think I will mark this as a good learning experience for me. I will make it a point to inform all my team members to work from branches until we are ready for merging to the master branch.-- 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