git_infra

commit 945f4ff462c482269a80a224a6994920733d4941
parent 34de30843820ccaa24c91729e71d87deba923aa7
Author: Chris Bracken <chris@bracken.jp>
Date:   Tue,  7 Jun 2022 18:45:04 -0700

update_mirrors: recompile stagit pages after fetch

Previously, mirrors were fetched from upstream but the stagit pages
weren't updated. We now update the stagic pages on pull for public
and unlisted repos.

Diffstat:
M
update_mirrors.sh
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/update_mirrors.sh b/update_mirrors.sh
@@ -41,6 +41,11 @@ fetch_mirrors() {
       cd "$mirror"
       printerr "[git mirror] ... $mirror"
       git fetch
+
+      # Regenerate stagit pages for public, unlisted repos.
+      if [ -e git-daemon-export-ok ]; then
+        grm rc `basename "$mirror" '.git'`
+      fi
     else
       printerr "[git mirror] ... $mirror NOT FOUND"
     fi