From c925586e0e9caed54d3bcd3eb6975ad095f07a48 Mon Sep 17 00:00:00 2001
From: Pedro Pombeiro <pombeirp@users.noreply.github.com>
Date: Tue, 14 Aug 2018 14:56:10 +0200
Subject: [PATCH] Update `merge-pr.sh` script

---
 scripts/merge-pr.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/scripts/merge-pr.sh b/scripts/merge-pr.sh
index 3ad8e0e..ede27b2 100755
--- a/scripts/merge-pr.sh
+++ b/scripts/merge-pr.sh
@@ -37,6 +37,22 @@ check_pr_prereq() {
   fi
 }
 
+check_sync() {
+    git fetch
+    if [ -n "$(git rev-list $BRANCH..$REMOTE/$BRANCH)" ]; then
+      warn "the local branch $BRANCH is behind $REMOTE/$BRANCH."
+      echo "Do you want to cancel or do you prefer to abandon your work and reset local $BRANCH to $REMOTE/$BRANCH ?"
+      echo "cancel/reset"
+      read response;
+      if [ "$response" = "reset" ]; then
+          git fetch $REMOTE
+          git reset --hard $REMOTE/$BRANCH
+      else
+          fatal "the local branch $BRANCH is behind $REMOTE/$BRANCH."
+      fi
+    fi
+}
+
 GH_URL_BASE="https://api.github.com"
 
 get_pr_info() {
@@ -133,6 +149,7 @@ EOF
   fi
   load_config
   check_pr_prereq
+  check_sync
   get_pr_info "$@"
   cleanup
   fetch_pr