diff --git a/.github/workflows/shallowfetchPRcommits.sh b/.github/workflows/shallowfetchPRcommits.sh index 6330a3284..d43525b2d 100755 --- a/.github/workflows/shallowfetchPRcommits.sh +++ b/.github/workflows/shallowfetchPRcommits.sh @@ -62,7 +62,7 @@ main() # faster so keep a single and simple fetch for now. set -x # this command may take a while so show it - git fetch --depth "$((PRlen+1))" "http://github.com/$gh_project" "pull/$pr_number/head" + git fetch --depth "$((PRlen+1))" "https://github.com/$gh_project" "pull/$pr_number/head" }