Continuous integration with GitHub Actions A look at GitHub Actions, and the good and bad of coupling automation to a remote repository provider