hundreds-father-40412/17/2020, 10:11 PM
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
script to get any improvements. We eagerly error if the version of the script isn’t compatible with a certain Pants version.