user-manual: update git-gc discussion
authorJ. Bruce Fields <bfields@citi.umich.edu>
Mon, 22 Jan 2007 04:03:36 +0000 (23:03 -0500)
committerJ. Bruce Fields <bfields@citi.umich.edu>
Mon, 22 Jan 2007 04:03:36 +0000 (23:03 -0500)
It appears git-gc will no longer prune automatically, so we don't
need to tell people not to do other stuff while running it.

Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
No differences found