31.10.2015 10:02, Andreas Schwab пишет:
Kaz Kylheku <kaz@xxxxxxxxxxx> writes:
Nope. They will have a git in which that commit looks like their own
local work. *Someone* will inadvertently do a "git push" to blast out
their changes based on that deleted commit, thereby causing it to
reappear.
Not if another one pushes something different in the mean time.
Which is why I said "amended".
--
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