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