From 0ad29ed1642cc33114c757e6a8ecc629948a05b6 Mon Sep 17 00:00:00 2001
From: Oskar Thoren <ot@oskarthoren.com>
Date: Fri, 15 Dec 2017 11:01:39 +0100
Subject: [PATCH] Fix merge-pr script so it runs as bash

As opposed to wannabe POSIX with bashisms. Makes it run reliably on most user
systems (Mac/Linux)
---
 scripts/merge-pr.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/merge-pr.sh b/scripts/merge-pr.sh
index 0b4cbaf387..9d22212c64 100755
--- a/scripts/merge-pr.sh
+++ b/scripts/merge-pr.sh
@@ -1,6 +1,6 @@
-#!/usr/bin/env sh
+#!/bin/bash
 
-set -euf pipefail
+set -eof pipefail
 
 BRANCH=$1
 if [[ $# -eq 0 ]] ; then