31.10.2015 10:02, Andreas Schwab пишет:
Kaz Kylheku <[email protected]> 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".
