sorry, this was occurring in the other repo (which...
# development
a
sorry, this was occurring in the other repo (which just pulls the release pex, nothing special) when modifying
pants.ini
, not in the pants clone. wasn't clear.