remove a repo from list when deleted on server