git-clone -s: document problems with git gc --prune