From 71314fb22dac47254619db465f618818afcca3b5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 18 Jul 2015 16:53:26 +0100
Subject: [PATCH] Provide cgit-regen-config command for cgi-grnet-01.

---
 debian/changelog        |  1 +
 infra/cgit-regen-config | 26 ++++++++++++++++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100755 infra/cgit-regen-config

diff --git a/debian/changelog b/debian/changelog
index 610322e0..b5ae3267 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,7 @@ dgit (0.31~~) unstable; urgency=low
 
   Infrastructure:
   * Provide for mirroring git updates to a different server.
+  * Provide cgit-regen-config command for cgi-grnet-01.
 
  -- Ian Jackson <ijackson@chiark.greenend.org.uk>  Sat, 11 Jul 2015 14:30:19 +0100
 
diff --git a/infra/cgit-regen-config b/infra/cgit-regen-config
new file mode 100755
index 00000000..36228a1a
--- /dev/null
+++ b/infra/cgit-regen-config
@@ -0,0 +1,26 @@
+#!/bin/sh
+set -e
+
+root=/srv/dgit.debian.org
+
+repos=$root/unpriv/repos
+outfile=$root/etc/projects.cgit
+lockfile=$outfile.lock
+template=$root/config/cgit-template
+
+flock $lockfile -c '
+	outfile='"$outfile"'
+	repos='"$repos"'
+	exec >"$outfile.tmp"
+	for ff in "$repos"/[0-9a-z]*.git; do
+		f=${ff##*/}
+		p=${f%.git}
+		cat <<END
+repo.url=$f
+repo.path=$repos/$f
+END
+		sed "s/%PACKAGE%/$p/g" <'"$template"'
+		echo
+	done
+	mv -f "$outfile.tmp" "$outfile"
+'
-- 
2.30.2