It's worth noting I could have done it through GitHub Actions, but I decided against that.
In part because I don't want to be even more tightly coupled to GitHub and its infrastructure.
If I switch to some other remote Git solution, if it has webhooks, I should be able to update the script in short order (there are zero dependencies for the script I wrote, and CI through GitHub Actions says it would work in PHP 7.3, I haven't tried going farther back).