Are the pants scripts versioned? It might be helpful to know when it is a good idea to update this.

@jolly-midnight-72759 it’s in GitHub at https://github.com/pantsbuild/setup. Normally, it’s a good idea to update the

./pants

script to get any improvements. We eagerly error if the version of the script isn’t compatible with a certain Pants version.