Miško Hevery e0b31dbfef build: merge-pr now checks that PR status is green before proceeding (#21810) ...

Optionally one can use `--force` to override and merge no non-green PR.

PR Close #21810

2018-01-26 14:50:41 -08:00

..

utils

build: Add GitHub scripts for rebasing PRs (#18359)

2017-08-28 18:44:39 -05:00

merge-pr

build: merge-pr now checks that PR status is green before proceeding (#21810)

2018-01-26 14:50:41 -08:00

push-upstream

build: Add GitHub scripts for rebasing PRs (#18359)

2017-08-28 18:44:39 -05:00

rebase-pr

build: Add GitHub scripts for rebasing PRs (#18359)

2017-08-28 18:44:39 -05:00