diff options
-rwxr-xr-x | scripts/create-pull-request | 2 |
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. |
114 | if [ -n "$WEB_URL" ]; then | 114 | if [ -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." |