Hi all, from https://github.com/pantsbuild/pants/blob/a154c84eb02092c397c15dc00915bbf7cc89fd40/src/python/pants/base/build_root.py#L21, pants detect the root of repo by checking whether cwd or the closest ancestor has one of these 3 files. So basically, I could put pants script in another place (included in $PATH), and create a empty pants file in the root of my repo ? (

./pants

is not as easy as just typing pants ; ) )