[eurasiantiger]

Exactly that. For example, the HEAD tag moving to another commit doesn’t mean much if a developer doesn’t know what HEAD is or what git reset does.