From 4e0a9e9be4d29de53686031b956f1997ac02bfea Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 25 Apr 2013 11:18:47 +0200
Subject: [PATCH] oops

---
 scripts/git-update.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/git-update.sh b/scripts/git-update.sh
index bd555e3..93b8ffd 100755
--- a/scripts/git-update.sh
+++ b/scripts/git-update.sh
@@ -34,6 +34,7 @@ function git_update () {
 	git branch | grep -q ' '$branch'$' || git branch --track $branch $remote/$branch
 	git checkout $branch
 	git merge --ff $remote/$branch
+    done
 }
 
 git_update >& .git-update.log
-- 
2.47.0