# HG changeset patch
# User Chris Cannam
# Date 1452689377 0
# Node ID 1786830cc35d7936134f835c6bee696b3b4c3eb6
# Parent  e5c9809534a257f291978ef7328a0b4dc6fe60b5
Run update-server-info after each export

diff -r e5c9809534a2 -r 1786830cc35d extra/soundsoftware/export-git.sh
--- a/extra/soundsoftware/export-git.sh	Wed Jan 13 11:43:59 2016 +0000
+++ b/extra/soundsoftware/export-git.sh	Wed Jan 13 12:49:37 2016 +0000
@@ -107,6 +107,8 @@
         # of the two heads arbitrarily, which is also alarming but is
         # more likely to be useful 
 	"$fastexport" --quiet -r "$hgrepo" -A "$authormap" --hg-hash --force
+
+        git update-server-info
     )
 
     echo "Fast export done"