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. :)
