The core idea

A branch is a movable label.

A branch is just a pointer to a commit. Creating one writes a tiny label — it copies nothing — so branching is essentially free.