Ah, yep. You can change the

./pants

script to put Py38 behind Py37. If you use the latest

./pants

script, we do this already: https://github.com/pantsbuild/setup/blob/gh-pages/pants#L110