Fix git clone command to simplify branch switching

diff --git a/wwwtools/mrconfig b/wwwtools/mrconfig
index 500a0774bd39919ad8c02b4bced978ff0933caae..eb3e688a44c79f92665a96b2e4e356e9deb41112 100644 (file)
--- a/wwwtools/mrconfig
+++ b/wwwtools/mrconfig
@@ -1,3 +1,3 @@
-include = cat messages-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 -b $branch git://git.postgresql.org/git/pgtranslation/messages.git $dir"; echo "pre_update = git checkout $branch"; echo; done
+include = cat messages-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 --no-single-branch -b $branch git://git.postgresql.org/git/pgtranslation/messages.git $dir"; echo "pre_update = git checkout $branch"; echo; done
 
 include = cat postgresql-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 -b $branch git://git.postgresql.org/git/postgresql.git $dir"; echo "pre_update = git checkout $branch"; echo; done