build: add release helper scripts (#22378)

PR Close #22378
2018-02-22 12:07:17 -08:00
parent b2f366b3b7
commit f791862e52
8 changed files with 58 additions and 3 deletions
--- 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