diff options
| author | Junio C Hamano <gitster@pobox.com> | 2016-09-26 16:44:27 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-09-26 16:44:27 -0700 |
| commit | ad70bf0a8bcaab0a6f1c36a42110b52dc2b00beb (patch) | |
| tree | 95495194621897b14bcc1d50852cc2fa8bbbf2f6 /git-check-ref-format.txt | |
| parent | 5380048278a5f5aa14549fffee029a8273a8bd0d (diff) | |
| download | git-htmldocs-ad70bf0a8bcaab0a6f1c36a42110b52dc2b00beb.tar.gz | |
Autogenerated HTML docs for v2.10.0-440-g21f86
Diffstat (limited to 'git-check-ref-format.txt')
| -rw-r--r-- | git-check-ref-format.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-check-ref-format.txt b/git-check-ref-format.txt index 91a3622ee..8611a9912 100644 --- a/git-check-ref-format.txt +++ b/git-check-ref-format.txt @@ -118,8 +118,8 @@ $ git check-ref-format --branch @{-1} * Determine the reference name to use for a new branch: + ------------ -$ ref=$(git check-ref-format --normalize "refs/heads/$newbranch") || -die "we do not like '$newbranch' as a branch name." +$ ref=$(git check-ref-format --normalize "refs/heads/$newbranch")|| +{ echo "we do not like '$newbranch' as a branch name." >&2 ; exit 1 ; } ------------ GIT |