user-manual.txt: add missing section label

Martin Ågren · gitster · commit e79b34533aff · 2019-09-28T17:35:44.000+09:00
We provide a label for each chapter and section except for the "Pitfalls
with submodules" section. Since we're doing it everywhere else, let's do
it here, too.

Signed-off-by: Martin Ågren &lt;martin.agren@gmail.com&gt;
Signed-off-by: Junio C Hamano &lt;gitster@pobox.com&gt;
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
@@ -3698,6 +3698,7 @@ $ git push
 You have to run `git submodule update` after `git pull` if you want to update
 submodules, too.
 
+[[pitfalls-with-submodules]]
 Pitfalls with submodules
 ------------------------
 
