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