diff --git a/scripts/merge-PR.sh b/scripts/merge-PR.sh index d7225e6d38..dc42761a14 100755 --- a/scripts/merge-PR.sh +++ b/scripts/merge-PR.sh @@ -16,9 +16,11 @@ # specific language governing permissions and limitations # under the License. +# Setting the script to fail if anything goes wrong +set -e # Use this to simplify the rebasing of PRs. PRs will be rebased during the merge on this process. -# use: ./rebase-PR textual description +# use: ./merge-PR textual description # this script assumes the following remote entries on your config #