"git prune" is safe
commitddeb817f25fea45dee5456c48d723e56b9f8991b
authorThomas Ackermann <th.acker@arcor.de>
Tue, 27 Aug 2013 18:05:50 +0000 (27 20:05 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Aug 2013 22:14:46 +0000 (27 15:14 -0700)
tree094fc21039a33346a980de2359fe7c93f285bfca
parent381183fbc6c3fea1264e4fc6c977bf31cdfb812a
"git prune" is safe

"git prune" is safe in case of concurrent accesses to a repository
but using it in such a case is not recommended.

Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/user-manual.txt