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 | ||
