builtin "git prune"