https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-father-404

09/15/2022, 11:46 PM
that probably dovetails well with moving these into a bootstrap option as [GLOBAL] environments=[…]
Depends if we need other options than this one. Unclear to me. I'd prefer we keep
environments
around for now, special cased