GitHub is struggling this morning. It’s slightly interfering with my work, so hopefully they get it under control soon. I’ve become quite dependent on it as a bridge to deploys and code review. Replacing GitHub is not currently worth all the integration hassle it would introduce.