request-pull: explicitly ask tags/$name to be pulled

diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh
index 75c68d948fd3105272f893ff2f901007519f62f5..1093ef4ad6b9793fb829403c41391a09a07e57a2 100755 (executable)
--- a/generate-cmdlist.sh
+++ b/generate-cmdlist.sh
@@ -1,8 +1,7 @@
 #!/bin/sh
 
 echo "/* Automatically generated by $0 */
-struct cmdname_help
-{
+struct cmdname_help {
     char name[16];
     char help[80];
 };
@@ -16,8 +15,8 @@ do
      sed -n '
      /^NAME/,/git-'"$cmd"'/H
      ${
-            x
-            s/.*git-'"$cmd"' - \(.*\)/  {"'"$cmd"'", "\1"},/
+           x
+           s/.*git-'"$cmd"' - \(.*\)/  {"'"$cmd"'", "\1"},/
            p
      }' "Documentation/git-$cmd.txt"
 done