Andrew's git / gitweb.git / diff
?
"git prune" is safe
authorThomas Ackermann <th.acker@arcor.de>
Tue, 27 Aug 2013 18:05:50 +0000 (20:05 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Aug 2013 22:14:46 +0000 (15:14 -0700)
"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>
No differences found