Fixing github's synching problems.