build: add release helper scripts (#22378) (#22781)

PR Close #22378 PR Close #22781
2018-02-22 12:07:17 -08:00
parent db0afa9394
commit 7d9de17935
8 changed files with 58 additions and 3 deletions
--- a/scripts/github/merge-pr
+++ b/scripts/github/merge-pr
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash

 set -u -e -o pipefail

--- a/scripts/github/push-upstream
+++ b/scripts/github/push-upstream
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash

 set -u -e -o pipefail

--- a/scripts/github/rebase-pr
+++ b/scripts/github/rebase-pr
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash

 set -u -e -o pipefail