#!/bin/bash

RUN_BASH=$1

for branch in raft-45 raft-46 raft-56 raft-58 raft-58-initialization raft-42 raft-66 spark-2294 spark-2294-blocks spark-3150  spark-9256; do
  git checkout $branch
  git pull
  git subtree pull --prefix=interposition interposition master
  if [ "$RUN_BASH" != "" ]; then
    bash
  fi
  git push
done

#!/bin/bash

RUN_BASH=$1

for branch in raft-45 raft-46 raft-56 raft-58 raft-58-initialization raft-42 raft-66 spark-2294 spark-3150; do
  git checkout $branch
  git pull
  git subtree pull --prefix=interposition interposition master
  if [ "$RUN_BASH" != "" ]; then
    bash
  fi
  git push
done

--- 
+++ 
@@ -2,7 +2,7 @@
 
 RUN_BASH=$1
 
-for branch in raft-45 raft-46 raft-56 raft-58 raft-58-initialization raft-42 raft-66 spark-2294 spark-3150; do
+for branch in raft-45 raft-46 raft-56 raft-58 raft-58-initialization raft-42 raft-66 spark-2294 spark-2294-blocks spark-3150  spark-9256; do
   git checkout $branch
   git pull
   git subtree pull --prefix=interposition interposition master
Add last two case studies
