so you might try re-running `curl -L -O <https://p...
# general
w
so you might try re-running
curl -L -O <https://pantsbuild.github.io/setup/pants>