> - either "dev", "devel", or "develop"

Had a quick look, and there are over 50 already at "develop" as the
main branch. -- most of the others are 'main' or 'master' -- so it
looks like 'develop' is a bit of a standard already.

Alright. I think I've setup most of the projects that have a "dev" branch. I knew I'd have to pay for my lazy fingers one day.