Repository names now given as a list in web API.