https://pantsbuild.org/ logo
a

ambitious-actor-36781

04/28/2022, 12:57 AM
if I can't download subsystem tools from the internet, is there a way to package them in the repo manually? Or specify an alternate URL
a

ambitious-actor-36781

04/28/2022, 12:59 AM
you guys have thought of everything
thanks
❤️ 1
h

hundreds-father-404

04/28/2022, 1:01 AM
you guys
if you mean w/ that == overall community, not only core maintainers 👖 many thanks to @wooden-thailand-8386 for both the idea and adding this last year!
❤️ 1
w

wooden-thailand-8386

05/03/2022, 3:36 PM
I'm glad it was useful for someone else as well :))
3 Views