On 30.10.2015 13:59, Lennart Sorensen wrote:
I don't have non-fast-forward rights. Does someone from savannah-users
have them? Could he just delete this commit?
If you do that, then anyone that already did a pull after it went in
will have a broken tree. Rather annoying.
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.
:)
--
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