Documentation: git-prune