https://pantsbuild.org/ logo
h

happy-kitchen-89482

01/31/2023, 7:00 PM
Heads up that I propose to rename pantsup.sh to the more descriptive get-pants.sh, for the reasons mentioned in the PR: https://github.com/pantsbuild/setup/pull/141. Basically punnery must give way to utility, now that we're suggesting checking the script into the repo for security reasons.
👖 1
👊 1
🎉 1
👍 2