Re: What's cooking in git.git (Oct 2018, #01; Wed, 10)

From: Jeff King <peff@peff.net>
Date: Oct 10, 2018, 15:06 UTC
Message-ID: <20181010150658.GA31986@sigill.intra.peff.net>
In-Reply-To: <87efcyfd0r.fsf@evledraar.gmail.com>

On Wed, Oct 10, 2018 at 09:59:16AM +0200, Ævar Arnfjörð Bjarmason wrote:

Show 19 quoted lines

> 
> On Wed, Oct 10 2018, Junio C Hamano wrote:
> 
> > * jk/drop-ancient-curl (2017-08-09) 5 commits
> >  - http: #error on too-old curl
> >  - curl: remove ifdef'd code never used with curl >=7.19.4
> >  - http: drop support for curl < 7.19.4
> >  - http: drop support for curl < 7.16.0
> >  - http: drop support for curl < 7.11.1
> >
> >  Some code in http.c that has bitrot is being removed.
> >
> >  Expecting a reroll.
> 
> There's been no activity on this for 6 months since I sent a "hey what's
> going on with it" E-Mail in:
> https://public-inbox.org/git/20180404204920.GA15402@sigill.intra.peff.net/
> 
> Maybe it should just be dropped?

That's fine with me. I think it was a nice cleanup as long as nobody cared, but some people did seem to care. Maybe they care less now that more time has passed, but it just hasn't really been worth the time to revisit.

I'm OK to drop it; the patches are on the list if we want to look at it again later.

-Peff