Sync repo description in mrrepo script

1 files changed, 9 insertions, 1 deletions

diff --git a/server/mrrepo b/server/mrrepo
index e22e5dd..5e7d0fb 100755
--- a/server/mrrepo
+++ b/server/mrrepo
@@ -19,6 +19,10 @@
 #   - needs curl
 #   - run from cron as user scm (which belongs to the group scm).
 #
+# To test, run:
+#
+# runuser -u scm -- /var/scm/mrrepo -s -v git.example.org /var/scm
+#
 usage="usage: $0 [-v] [-s] <host> <path>"
 
 owd="$(pwd)"
@@ -81,7 +85,7 @@ function fetch () # <url> [<curl-options>]
   local u="$1"; shift
 
   if [ "$verb" -ge 1 ]; then
-    info "${curl_ops[@]}" "$@" "$u"
+    info curl "${curl_ops[@]}" "$@" "$u"
   fi
 
   curl "${curl_ops[@]}" "$@" "$u"
@@ -126,6 +130,10 @@ for r in "${new[@]}"; do
       info git -C "$r" fetch "${git_ops[@]}" --prune --tags
     fi
     git -C "$r" fetch "${git_ops[@]}" --prune --tags
+
+    # Also update the description file.
+    #
+    fetch "$prot://$host/$r/description" -z "$r/description" -o "$r/description"
   fi
 done