On Mon, Nov 11, 2013 at 5:28 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > >> Otherwise they cannot know when to force the push or not (other than >> hacks). >> >> Tests-by: Richard Hansen <rhansen@xxxxxxx> >> Documentation-by: Richard Hansen <rhansen@xxxxxxx> >> Signed-off-by: Felipe Contreras <felipe.contreras@xxxxxxxxx> >> --- > > Didn't we agree that this should be warn, not die? Yes, and I assumed you would do it without a reroll, because no reroll was needed. I've updated my side as well now, for the next reroll. -- Felipe Contreras -- 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