Closed gardner48 closed 5 months ago
It would be great if these tasks could be automated.
That would be nice. There's already a script to make the changes so we'd just need a bot to run it and post the PR
That would be nice. There's already a script to make the changes so we'd just need a bot to run it and post the PR