initialized git repo should use the set http_proxy

2014-11-07 11:50:30 +01:00
parent 576092eec4
commit 5af576ff7f
1 changed files with 1 additions and 0 deletions
@@ -83,6 +83,7 @@ init_remote(){
    local url=$1
    git init
    git remote add origin $url
    [ -n "$http_proxy" ] && git config http.proxy $http_proxy
 }
 # Return the reference of an hash if it exists on the remote repository.