diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2016-10-07 14:35:58 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2016-10-07 14:35:58 +0100 |
| commit | ea581aab772aaf676ec1546aed70619463a5613d (patch) | |
| tree | 95e2fa412a7476909f30681b125bd3ae13434d2b | |
| parent | 906a05442673059039f41fd6c3769debaeea5e17 (diff) | |
apply-pullreq: Fix message about add-merge-remote
If apply-pullreq is run with a remote that isn't in the git
repo it prints a helpful message suggesting that the user
runs add-merge-remote. Fix a typo in the help message that
meant we were printing a blank string where the "REMOTENAME"
argument placeholder should be.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
| -rwxr-xr-x | apply-pullreq | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/apply-pullreq b/apply-pullreq index 08a3c48..0abab0c 100755 --- a/apply-pullreq +++ b/apply-pullreq @@ -64,7 +64,7 @@ REMOTENAME="$(git remote -v | grep -F "$FGREPARG" | cut -f1)" if [ -z "$REMOTENAME" ]; then echo "Unknown remote $REMOTEURL: add manually via" - echo "add-merge-remote $REMOTENAME $REMOTEURL" + echo "add-merge-remote REMOTENAME $REMOTEURL" exit 1 fi |