]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 2bd8f48)
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)
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.


No differences found
My patches to https://public-inbox.org/public-inbox.git