Add ProxyOptions for push operations (#872) #882

Merged

github-actions[bot] merged 1 commits from cherry-pick-1710824087-release-1.2 into release-1.2 2022-01-17 21:06:49 -06:00

Conversation 0 Commits 1 Files Changed 1 +5

1 Commits

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