Update repo tool to reflect github repository.