Add ProxyOptions for push operations (#872) #881

Merged

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

Conversation 0 Commits 1 Files Changed 1 +5

1 Commits

Author	SHA1	Message	Date
Aurélien	ddd4cc725d	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