setting repository name is now done at extension startup