On Mon, Nov 11, 2013 at 5:28 PM, Junio C Hamano <gits...@pobox.com> wrote: > Felipe Contreras <felipe.contre...@gmail.com> writes: > >> Otherwise they cannot know when to force the push or not (other than >> hacks). >> >> Tests-by: Richard Hansen <rhan...@bbn.com> >> Documentation-by: Richard Hansen <rhan...@bbn.com> >> Signed-off-by: Felipe Contreras <felipe.contre...@gmail.com> >> --- > > 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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html