Add ProxyOptions for push operations (#872) #883

Merged
github-actions[bot] merged 1 commits from cherry-pick-1710824087-release-0.27 into release-0.27 2022-01-17 21:07:38 -06:00

1 Commits

Author SHA1 Message Date
Aurélien fd9f80d4ff 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:32 +00:00