Merge branch 'jk/curl-avoid-deprecated-api'
commitbd6d3de01fdc6fcf040a22718673766e754631b5
authorJunio C Hamano <gitster@pobox.com>
Fri, 20 Jan 2023 23:36:21 +0000 (20 15:36 -0800)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 6 Feb 2023 08:27:41 +0000 (6 09:27 +0100)
tree3dd46f22732bb5eee03d75df6f918dfff5fd88be
parentf39fe8fcb269e0b7ec48f2ea57fcb879908ac447
parentf44e6a21057b0d8aae7c36f10537353330813f62
Merge branch 'jk/curl-avoid-deprecated-api'

Deal with a few deprecation warning from cURL library.

* jk/curl-avoid-deprecated-api:
  http: support CURLOPT_PROTOCOLS_STR
  http: prefer CURLOPT_SEEKFUNCTION to CURLOPT_IOCTLFUNCTION
  http-push: prefer CURLOPT_UPLOAD to CURLOPT_PUT