changeset 1555:1786830cc35d feature_1136

Run update-server-info after each export
author Chris Cannam
date Wed, 13 Jan 2016 12:49:37 +0000
parents e5c9809534a2
children 81dd71991dc1
files extra/soundsoftware/export-git.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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"