https://pantsbuild.org/ logo
b

bitter-ability-32190

04/04/2022, 7:20 PM
Why is the default branch of https://github.com/pantsbuild/setup
gh-pages
? 🤔
h

hundreds-father-404

04/04/2022, 7:21 PM
so that
curl -L -O <https://static.pantsbuild.org/setup/pants>
works
b

bitter-ability-32190

04/04/2022, 7:22 PM
I don't follow
h

hundreds-father-404

04/04/2022, 7:24 PM
we host the script w/ gh pages. shorter url than https://raw.githubusercontent.com/pantsbuild/setup/gh-pages/pants
unclear to me it's necessary, but thats why
b

bitter-ability-32190

04/04/2022, 7:26 PM
I was worried when making my PR that I was gonna target the wrong branch