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
>> 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.
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