GitHub is currently experiencing technical difficulties which may cause issues with labs that sync instructions from GitHub repositories. They have identified the source of the errors and are working on a fix. For more information, please see the GitHub status page located at www.githubstatus.com