]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 99acd1d) | patch
lei_curl: use http.proxy config from git if available
authorEric Wong <e@80x24.org>
Wed, 23 Nov 2022 04:09:58 +0000 (04:09 +0000)
committerEric Wong <e@80x24.org>
Wed, 23 Nov 2022 10:51:26 +0000 (10:51 +0000)
commit2bd8f48268ac24a4d3cac326a89099639ae1d170
tree7825764eec9ddfb1af3ecb7f2c8af533c8b00083tree
parent99acd1de608f99d90cca15737b71a68f21108d20commit | diff
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.
lib/PublicInbox/Config.pm diff | blob | history
lib/PublicInbox/LeiCurl.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git