Yes, branches are just mutable pointers. The commit history is an immutable tree and has a garbage collector to clean up.

Funny enough, this is more or less exactly the architecture some of those Haskell-weirdos would come up with. It's essentially a copy-on-write filesystem.

(Haskell people are weirdos compared to good old fashioned operating system people who use C as God intended.)