Git术语：tip和HEAD之间的区别？

Git

头部和
尖端之间有什么区别

对不起，如果有人在其他地方问过这个问题。。还没有看到关于这方面的任何其他问题。
来自（可能可以通过安装了git的计算机上的git help glossary
访问）：

分支机构
分支机构是一条活跃的发展路线。分支上最近的提交称为该分支的提示。分支的尖端由分支头引用，分支头在分支上进行额外开发时向前移动

头
分支顶端提交的命名引用。磁头存储在$GIT_DIR/refs/Heads/目录中的文件中，除非使用压缩的refs。（参见git pack参考文献[1]。）

当前分支的头。更详细地说：您的工作树通常是从HEAD引用的树的状态派生出来的。HEAD是对存储库中某个HEAD的引用，除非使用分离的HEAD，在这种情况下它直接引用任意提交

“头”有两种定义，以大写字母区分，似乎存在混淆的空间。但一个简短的总结似乎是：

tip
是分支上最近的提交。每个分支机构有一个
提示

head
（全小写）有点像一个标记，因为它是对分支尖端的一个方便命名的引用。与标记不同，当您向分支添加提交时，
头将自动更改它引用的提交。每个分支有一个
头

头
（全大写）是您当前签出的任何提交。只有一个
头
Git
头
指向当前分支的尖端，但处于分离头状态的情况除外，在这种情况下，它指向您刚刚签出的提交。可能重复