diff options
author | Elijah Newren <newren@gmail.com> | 2023-10-08 06:45:17 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-10-09 19:06:29 (GMT) |
commit | 0a4f051f9318c3dd9db69c4bebecdc6d160a5fc6 (patch) | |
tree | 6c5654ff388c603eb020df9d8b4cd7acc2b3b862 /Documentation/git-check-ref-format.txt | |
parent | 3771d002571f6fc796ff3f54e9d5b875826e62ed (diff) | |
download | git-0a4f051f9318c3dd9db69c4bebecdc6d160a5fc6.zip git-0a4f051f9318c3dd9db69c4bebecdc6d160a5fc6.tar.gz git-0a4f051f9318c3dd9db69c4bebecdc6d160a5fc6.tar.bz2 |
documentation: add missing article
Diff best viewed with --color-diff.
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-check-ref-format.txt')
-rw-r--r-- | Documentation/git-check-ref-format.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-check-ref-format.txt b/Documentation/git-check-ref-format.txt index ee6a414..1d6e08e 100644 --- a/Documentation/git-check-ref-format.txt +++ b/Documentation/git-check-ref-format.txt @@ -85,7 +85,7 @@ The rule `git check-ref-format --branch $name` implements may be stricter than what `git check-ref-format refs/heads/$name` says (e.g. a dash may appear at the beginning of a ref component, but it is explicitly forbidden at the beginning of a branch name). -When run with `--branch` option in a repository, the input is first +When run with the `--branch` option in a repository, the input is first expanded for the ``previous checkout syntax'' `@{-n}`. For example, `@{-1}` is a way to refer the last thing that was checked out using "git switch" or "git checkout" operation. |