Seeing what happens when 3rdparty/tools is deleted#23332

sureshjoshi wants to merge 3 commits into

pantsbuild:mainpantsbuild/pants:mainfrom

sureshjoshi:delete-toolssureshjoshi/pants:delete-toolsCopy head branch name to clipboard