From: Eric Wong <e@80x24.org>
Date: Wed, 23 Nov 2022 04:09:58 +0000 (+0000)
Subject: lei_curl: use http.proxy config from git if available
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=2bd8f48268ac24a4d3cac326a89099639ae1d170;hp=2bd8f48268ac24a4d3cac326a89099639ae1d170;p=public-inbox.git

lei_curl: use http.proxy config from git if available

Since HTTP(S) URLs hit by lei or public-inbox-{clone,fetch} are
expected to be git endpoints anyways, fall back to using
http.proxy from git configs to save the user from having to
maintain the same configuration for different things.
---