GitHub seems to be having a bit of trouble at the moment: https://www.githubstatus.com/ Was just about to add a comment on Jón's sync PR, but it failed to save.