GHA workflows

- some triggers are based on `main` branch, while currently there is only `develop`
- the release workflow (and maybe docs too, and deploying the Docker image) may need to be updated for one branch workflow with tags instead of stable branch
- lint is currently failing in `develop`
- lint failing prevents build-and-test from running
- this dependency could be removed
- or perhaps the branch protections made more strict so it's not so easy to get things in with build-and-test not even running

Inspect the GitHub Actions workflows and branch-protection configuration, focusing on references to main and develop, the release and Docker deployment workflows, and the lint/build-and-test dependency. Run the existing lint and build-and-test checks on develop first. Done means the intended branch-and-tag workflow is consistent and lint failures no longer prevent the required validation from running unexpectedly.

Written by the indexing model from the issue text.