From 2f0d07469625eb3daf59dffe161fa37deabd4d58 Mon Sep 17 00:00:00 2001
From: Guillaume Pellerin <guillaume.pellerin@ircam.fr>
Date: Mon, 28 May 2018 12:45:04 +0200
Subject: [PATCH] Add submodule merging scripts

---
 dev/merge.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 dev/merge.sh

diff --git a/dev/merge.sh b/dev/merge.sh
new file mode 100755
index 0000000..cacc8f6
--- /dev/null
+++ b/dev/merge.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# This script merges all submodule dev branches defined as branch-dev in every .gitmodules files into the related master branches defined in branch-master.
+# If there is no definition branches for you submodule, the script will merge the dev branch
+
+cd "$(dirname "$0")"/../../
+
+git submodule foreach --recursive 'echo $name; git merge $(git config -f $toplevel/.gitmodules submodule.$name.branch-dev || echo dev)'
-- 
2.39.5