The more I look at this, the more I think it's OK that mojo (a deployment/ci tool) requires these env vars, and that it's OK that for development work, we utilise a Makefile for use only in devel, which sources a devel-only envrc (which may itself include a general envrc which can be used for deployments). ie.:
./envrc # <- common env vars which can be sourced for deployment setups
./devel/envrc # <- includes ../envrc
Makefile just a convenience wrapper around mojo commands that sources ./devel/envrc for development only.
The more I look at this, the more I think it's OK that mojo (a deployment/ci tool) requires these env vars, and that it's OK that for development work, we utilise a Makefile for use only in devel, which sources a devel-only envrc (which may itself include a general envrc which can be used for deployments). ie.:
./envrc # <- common env vars which can be sourced for deployment setups
./devel/envrc # <- includes ../envrc
Makefile just a convenience wrapper around mojo commands that sources ./devel/envrc for development only.