summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/create-pull-request3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request
index d52098ee60..7d021d3227 100755
--- a/scripts/create-pull-request
+++ b/scripts/create-pull-request
@@ -94,6 +94,9 @@ while getopts "b:chi:m:o:p:r:s:u:" OPT; do
94 REMOTE_URL=$(git config remote.$REMOTE.url) 94 REMOTE_URL=$(git config remote.$REMOTE.url)
95 if [ $? -ne 0 ]; then 95 if [ $? -ne 0 ]; then
96 echo "ERROR: git config failed to find a url for '$REMOTE'" 96 echo "ERROR: git config failed to find a url for '$REMOTE'"
97 echo
98 echo "To add a remote url for $REMOTE, use:"
99 echo " git config remote.$REMOTE.url <url>"
97 exit 1 100 exit 1
98 fi 101 fi
99 102