"""CI/CD of the uploads repo after a push: wait for the CI run, then deploy, telling the author (#11)."""