The main reason I aim for (2) is that I want to be able to drive my build locally if and when GitHub is down, and I want to be able to migrate away easily if I

The main reason I aim for (2) is that I want to be able to drive my build locally if and when GitHub is down, and I want to be able to migrate away easily if I ever need to. I think of it like this: I write scripts (as portable as possible) to be able to build/test/sign/deploy/etc They should work locally always. GitHub is for automating me setting up the environments where I can run those scripts and then actually running them.