builtin-remote: prune remotes correctly that were added with --mirror