On 29/04 09:00, Elijah Newren wrote:

quoted

diff --git a/Documentation/gitfaq.txt b/Documentation/gitfaq.txt
index 7d294306f9..6f32846e3d 100644
--- a/Documentation/gitfaq.txt
+++ b/Documentation/gitfaq.txt

@@ -243,6 +243,16 @@ I want to change the remote of my repository. How do I do that?::
 One can list the remotes of a repository using `git remote -v` command.
 The default name of a remote is 'origin'.

+[[shallow-cloning]]

Why is this marked as "shallow-cloning"?

I forgot to change the heading, will fix it right away.

quoted

+The repository I am trying to clone is too big. Is there an alternative
+way of cloning it in lesser space?::
+       A good way to save up space when cloning a repository is

"save space" instead of "save up space"?

Sure.

quoted

+       by using `partial clones`. A partial clone will clone the
+       full history of the repository but will skip out the entities
+       specified by the `--filter` option one uses in `git clone`.
+       Any entity which has not been cloned to save space can be cloned
+       on-demand. See linkgit:partial-clone[1].
+

I like this much better than suggesting shallow clones, though you
should mention that partial clones (currently?) presume that you have
an always-on network connection to the original repository because
subsequent commands may need to fetch additional objects in order to
complete.

Alright, I will add that. Thank you for the review :)