You forget from time to time just how much of your deployment pipeline relies on GitHub working... So I guess I'll wait to get GitHub back up...