Repair GitHub import after GitHub changed urls on us.