"git prune" is safe