From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 21 Jul 2021 23:19:03 GMT
Subject: Re: [PATCH v2 5/5] http: rename CURLOPT_FILE to CURLOPT_WRITEDATA
Message-ID: <xmqq7dhjb6hk.fsf@gitster.g>
In-Reply-To: <patch-5.5-64e510b4a6b-20210721T220402Z-avarab@gmail.com>

Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:

> The CURLOPT_FILE name is an alias for CURLOPT_WRITEDATA, the
> CURLOPT_WRITEDATA name has been preferred since curl 7.9.7, released
> in May 2002[1].

Yes!  _FILE has been deprecated since that version so this is
definitely the right thing to do.