diff options
author | Junio C Hamano <gitster@pobox.com> | 2011-06-23 09:35:10 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-06-23 15:38:18 -0700 |
commit | 0abcfbff4ddaf08e5aa2524f28a7035095b6d0c9 (patch) | |
tree | f6f058ebae8dd61ad8b1f66fbc8ca2cca9e24599 /Documentation/diff-options.txt | |
parent | check-ref-format doc: de-emphasize the implementation detail of a ref (diff) | |
download | tgif-0abcfbff4ddaf08e5aa2524f28a7035095b6d0c9.tar.xz |
git.txt: de-emphasize the implementation detail of a ref
It is an unimportant implementation detail that branches and tags are
stored somewhere under $GIT_DIR/refs directory, or the name of the commit
that will become the parent of the next commit is stored in $GIT_DIR/HEAD.
What is more important is that branches live in refs/heads and tags live
in refs/tags hierarchy in the ref namespace, and HEAD means the tip of the
current branch.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/diff-options.txt')
0 files changed, 0 insertions, 0 deletions