Closed bsipocz closed 1 month ago
We don't use any GHA, so this bot is useless atm.
@jarrodmillman May have a system for updating all the repos together, so I'll let him weigh in on whether it's worth removing it, or whether it will just "come back" with the next round of updates.
We don't use any GHA, so this bot is useless atm.