Remove `develop`, PR straight to `main`
Removed
- NOTE: There will no longer be a maintained
develop
tag for this repo's Docker images.
Fixed
- Update PR checklist to reflect the fact that every PR will be a release
- We are removing the
develop
branch. Every PR will go straight tomain
by default now.
- We are removing the