Fix bug in list pub repos.