Our Git repositories are back up, and you can switch your remotes back to them, if that's your preferred method.