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

witty-crayon-22786

09/15/2022, 10:07 PM
so @hundreds-father-404: ^ that probably dovetails well with moving these into a bootstrap option as
[GLOBAL] environments=[…]