File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change @@ -66,13 +66,15 @@ cd $WORKING_DIRECTORY
66
66
git config --global advice.detachedhead false
67
67
git config --global credential.helper " /bin/sh -c 'echo username=$USERNAME ; echo password=$PASSWORD '"
68
68
69
- if [ -n " $HTTP_PROXY " ]; then
70
- echo " Using HTTP_PROXY"
71
- git config --global http.proxy " $HTTP_PROXY "
72
- else
73
- if [ -n " $HTTPS_PROXY " ]; then
74
- echo " Using HTTPS_PROXY"
75
- git config --global http.proxy " $HTTPS_PROXY "
69
+ if [ " $USE_PROXY " = " true" ]; then
70
+ if [ -n " $HTTP_PROXY " ]; then
71
+ echo " Using HTTP_PROXY"
72
+ git config --global http.proxy " $HTTP_PROXY "
73
+ else
74
+ if [ -n " $HTTPS_PROXY " ]; then
75
+ echo " Using HTTPS_PROXY"
76
+ git config --global http.proxy " $HTTPS_PROXY "
77
+ fi
76
78
fi
77
79
fi
78
80
You can’t perform that action at this time.
0 commit comments