Add proxy options - #2065

Merged

bording merged 9 commits into

Dec 3, 2023

Commits on Nov 27, 2023

Update GitProxyOptions
bording
committed
e13df56
Add public proxy APIs
bording
committed
75b4432
No reason to derive from FetchOptionsBase and have FetchOptions property
bording
committed
db161ee
Wire up proxy options
bording
committed
4de7c4f
Ensure FetchOptions property is non-null
bording
committed
4ab3b46
Make ProxyOptions sealed to satisfy test
bording
committed
7bf2e3b
Remove property setters since options are initialized
bording
committed
747bfc6
Add XML comments
bording
committed
c6ef24d
Update how submodule fetch options are handled
bording
committed
01a6ccb