From 2894add3529f55dcd1834e73a6f463e6712b1c98 Mon Sep 17 00:00:00 2001
From: Guillaume Pellerin <guillaume.pellerin@ircam.fr>
Date: Tue, 29 May 2018 12:45:13 +0200
Subject: [PATCH] Add submodule merging script

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

diff --git a/dev/merge.sh b/dev/merge.sh
new file mode 100644
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