diff options
-rwxr-xr-x | scripts/create-pull-request | 3 |
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 | ||