From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 04 Aug 2015 01:13:50 GMT
Subject: Re: What's cooking in git.git (Aug 2015, #01; Mon, 3)
Message-ID: <xmqqoain6ek1.fsf@gitster.dls.corp.google.com>
In-Reply-To: <CACRoPnRj4apVat2oWVHvUgWdLp6RJZsWw-s=juB-Sdc3dL30ng@mail.gmail.com>

Paul Tan <pyokagan@gmail.com> writes:

> I'm thinking about leaving them broken for now to push this patch
> series forward,...

Options upon restarting was not working at all with the old code
anyway, so that course of action sounds sensible.

Thanks.