Drop the short paragraph about branches.

Branches in git are very ephemeral and we don't
use them in any special or particular way.