If you can't deploy to production when some GitHub services hiccup maybe the problem is not on GitHub.