deploy-intervention

#!/bin/bash

if [[ -n "$(git rev-list --oneline '^origin/master' HEAD)" ]]; then
  echo "need to run: git push origin master"
  exit
fi
git fetch
if [[ -n "$(git log ..origin/master)" ]]; then
  echo "need to run: git pull origin master"
  exit
fi

if [[ -n "$(git log origin/master..)" ]]; then
  echo "need to run: git push origin master"
  exit
fi

git fetch . master:intervention
git push origin intervention