13 points
For folks unaware, the technical git term, here, is a ‘ref’. Everything that points to a commit is a ref, whether it’s HEAD, the tip of a branch, or a tag. If the git manpage mentions a ‘ref’ that’s what it’s talking about.
3 points
3 points
2 points
Honestly I’ve come to realise that being precise is the simplest in the long run
2 points