On Mon, Jun 2, 2008 at 5:51 AM, Robert Haines <rhaines@xxxxxxxxxxxxxxxx> wrote: > So, is it safe to "use the --force" in this instance when pushing? This > should just replace the old commit with the --amended commit with no > side-effects, shouldn't it? Safe from what perspective? If you're sure nobody has pulled from you, then yes, it's fine. If you know exactly who pulled and can contact them to do a reset and re-pull, then it should be fine. If you don't care about screwing up people who pulled from you, then I suppose that's still fine. However, screwing with history is generally a bad idea, since now people who pull from you don't have your current HEAD as a parent commit in their tree. Finding common ancestors is going to be messed up (and future merges with them, possibly). (also, first git mailing list post. I hope none of the experienced people have to correct me) -- 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
