summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/create-pull-request2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request
index 202d99d120..9dbd55a9c0 100755
--- a/scripts/create-pull-request
+++ b/scripts/create-pull-request
@@ -112,7 +112,7 @@ esac
112# Perform a sanity test on the web URL. Issue a warning if it is not 112# Perform a sanity test on the web URL. Issue a warning if it is not
113# accessible, but do not abort as users may want to run offline. 113# accessible, but do not abort as users may want to run offline.
114if [ -n "$WEB_URL" ]; then 114if [ -n "$WEB_URL" ]; then
115 wget -q $WEB_URL -O /dev/null 115 wget --no-check-certificate -q $WEB_URL -O /dev/null
116 if [ $? -ne 0 ]; then 116 if [ $? -ne 0 ]; then
117 echo "WARNING: Branch '$BRANCH' was not found on the contrib git tree." 117 echo "WARNING: Branch '$BRANCH' was not found on the contrib git tree."
118 echo " Please check your remote and branch parameter before sending." 118 echo " Please check your remote and branch parameter before sending."