Re: [PATCH 11/11] "git prune" is safe

Thomas Ackermann writes: > "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 > --- > Documentation/user-manual.txt | 12 +++- > 1 file changed, 3 insertions(+), 9 deletions(-) > > diff

[PATCH 11/11] "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 --- Documentation/user-manual.txt | 12 +++- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/Documentation/user-manual.txt b/D