summaryrefslogtreecommitdiff
path: root/git-fetch-script
diff options
context:
space:
mode:
Diffstat (limited to 'git-fetch-script')
-rwxr-xr-xgit-fetch-script7
1 files changed, 5 insertions, 2 deletions
diff --git a/git-fetch-script b/git-fetch-script
index b44cf3f..34ddfc8 100755
--- a/git-fetch-script
+++ b/git-fetch-script
@@ -9,8 +9,11 @@ merge_store="$_remote_store"
TMP_HEAD="$GIT_DIR/TMP_HEAD"
case "$merge_repo" in
-http://*)
- head=$(wget -q -O - "$merge_repo/$merge_head") || exit 1
+http://* | https://*)
+ if [ -n "$GIT_SSL_NO_VERIFY" ]; then
+ curl_extra_args="-k"
+ fi
+ head=$(curl -ns $curl_extra_args "$merge_repo/$merge_head") || exit 1
echo Fetching "$merge_head" using http
git-http-pull -v -a "$head" "$merge_repo/"
;;