Add ProxyOptions for push operations (#872) #880

Merged
github-actions[bot] merged 1 commits from cherry-pick-1710824087-release-0.28 into release-0.28 2022-01-17 21:03:55 -06:00

1 Commits

Author SHA1 Message Date
Aurélien dc8a671975 Add ProxyOptions for push operations (#872)
Analog to #623 but for push operations rather than fetch.

(cherry picked from commit 5eca48cda9)
2022-01-18 03:02:30 +00:00