Update to formal repository name