When installing pants into a new repo, it seems you need to copy BUILD.tools from the pants distribution into the root directory of the repo.
- What is this file used for?
- Do I need to edit this file?
- Do I need to update this file when I upgrade the version of pants?