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