modify: repository name for github