Merge pull request #4868 from MikeMcQuaid/update-follow-redirect

cmd/update: follow GitHub API redirects.
This commit is contained in:
Mike McQuaid 2018-09-10 14:56:13 +01:00 committed by GitHub
commit 88e69f5a88
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -482,7 +482,7 @@ EOS
fi fi
UPSTREAM_SHA_HTTP_CODE="$("$HOMEBREW_CURL" --silent --max-time 3 \ UPSTREAM_SHA_HTTP_CODE="$("$HOMEBREW_CURL" --silent --max-time 3 \
--output /dev/null --write-out "%{http_code}" \ --location --output /dev/null --write-out "%{http_code}" \
--dump-header "$DIR/.git/GITHUB_HEADERS" \ --dump-header "$DIR/.git/GITHUB_HEADERS" \
--user-agent "$HOMEBREW_USER_AGENT_CURL" \ --user-agent "$HOMEBREW_USER_AGENT_CURL" \
--header "Accept: $GITHUB_API_ACCEPT" \ --header "Accept: $GITHUB_API_ACCEPT" \