EEE save script for MRscpp_other

1 files changed, 36 insertions, 0 deletions

diff --git a/rebuild_mrs b/rebuild_mrs
new file mode 100755
index 00000000..3a87a35b
--- /dev/null
+++ b/rebuild_mrs
@@ -0,0 +1,36 @@
+#!/bin/bash
+
+set -e
+
+root=origin/master
+head=cpp_other
+git checkout "$head"
+branches=()
+prev=
+
+get_id() {
+    git rev-parse --revs-only "refs/$1" --
+}
+
+add_mr() {
+    local name="$1" commit="$2"
+    git branch -D "$name" || true
+    git checkout -b "$name" "$head$commit"
+    if [ "x$prev" = "x" ]; then
+        git rebase "$root" "$name"
+    else
+        git rebase --onto "$root" "$head$prev" "$name"
+    fi
+    if ! get_id "remotes/gitlab/$name" &> /dev/null || test $(git diff "gitlab/$name..$name" | wc -l) != 0; then
+        git push -f gitlab "$name"
+    fi
+    branches+=($name)
+    prev="$commit"
+}
+
+# add_mr mr_ '^{/}'
+
+git checkout $head
+for branch in "${branches[@]}"; do
+    git branch -D "$branch"
+done