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

happy-kitchen-89482

09/21/2022, 5:14 PM
Does anyone recollect if pantsbuild-ci-bot actually does anything today? It was introduced in 2018 to provide auth for TravisCI
🤖 1
I see no reference to it anywhere
I’m going to remove it and see if anything breaks
h

hundreds-father-404

09/21/2022, 5:17 PM
pretty sure it does nothing anymore