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.
:)
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
