Do you tie core biz/dev workflows to Github (or any other service)?
Using, highly available, deterministic artifacts, that can be rapidly deployed or reverted from production is what we do.