On Mon, Jun 2, 2008 at 5:51 AM, Robert Haines <rhaines@manchester.ac.uk> wrote:
quoted text
> 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@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html