https://pantsbuild.org/ logo
#general
Title
# general
h

happy-kitchen-89482

01/31/2022, 6:51 PM
I think the thing you want to curl is
<https://static.pantsbuild.org/setup/pants>
. Does that work?