On Fri, Oct 30, 2015 at 09:19:19PM +0100, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > On 30.10.2015 21:09, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > > On 30.10.2015 21:06, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > >> On 30.10.2015 15:26, Andrei Borzenkov wrote: > >>> See > >>> http://git.savannah.gnu.org/cgit/grub.git/commit/?id=206676601eb853fc319df14cd3398fbdfde665ac > >>> > >>> > >>> I was not even aware that this is possible. Is there anything on server > >>> side that can prevent it? > >>> > >>> Would be good if commit were amended and force pushed to fix it. > >>> > >> It is a bug in SGit. I'll investigate how it happened > > 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. -- Len Sorensen -- 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