Bringing GitHub up-to-date