Igor Minar 9dabeea807 ci: add a rebase check to the merge-pr script (#28250) ... Adds a check to verify that each PR branch to be merged upstream contains SHAs of commits that significantly changed our CI infrastructure. This check is used to enforce that we don't merge PRs that have not been rebased recently and could result in merging of non-approved or otherwise bad changes. PR Close #28250		2019-01-22 09:26:53 -08:00
..
utils	ci: scripts to review PRs locally (#24623)	2018-06-25 08:45:12 -07:00
merge-pr	ci: add a rebase check to the merge-pr script (#28250)	2019-01-22 09:26:53 -08:00
push-pr	build: add --force to push-pr	2018-10-11 16:13:59 -07:00
push-upstream	build: add release helper scripts (#22378)	2018-02-22 16:12:50 -08:00
rebase-pr	build: add release helper scripts (#22378)	2018-02-22 16:12:50 -08:00
review-pr	build: add more labels to review-pr script (#26493)	2018-10-16 14:36:28 -07:00