[petsc-users] Differences between main and release branches?

[fujisan]

Hi everyone,
What are the differences between the 'main' and 'release' branches?

Where I git cloned version 3.17.4, I was by default in the 'main' branch.
Where I git cloned version 3.18.0 (I haven't git pulled from 3.17.4 yet), I
was by default in the 'release' branch.

Fuji