diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-09-26 16:09:17 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-09-26 16:09:17 -0700 |
commit | 2a1f3fe6e3c3e21b97dc4fa488bee859289e32fd (patch) | |
tree | c816aab2ad7030e4aa6f89c2a07680ae82d04b8b /Documentation | |
parent | Merge branch 'mh/diff-indent-heuristic' (diff) | |
parent | git-check-ref-format.txt: fixup documentation (diff) | |
download | tgif-2a1f3fe6e3c3e21b97dc4fa488bee859289e32fd.tar.xz |
Merge branch 'ep/doc-check-ref-format-example'
A shell script example in check-ref-format documentation has been
fixed.
* ep/doc-check-ref-format-example:
git-check-ref-format.txt: fixup documentation
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/git-check-ref-format.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-check-ref-format.txt b/Documentation/git-check-ref-format.txt index 91a3622ee4..8611a99120 100644 --- a/Documentation/git-check-ref-format.txt +++ b/Documentation/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 |