Victor Berchet
7d9de17935
build: add release helper scripts ( #22378 ) ( #22781 )
...
PR Close #22378
PR Close #22781
2018-03-15 11:38:14 -07:00
Victor Berchet
4a08745d3e
build: add support for the "merge-assistance" label in merge-pr ( #22414 )
...
fixes #22256
PR Close #22414
2018-02-23 12:58:30 -08:00
Victor Berchet
51abe69b60
fix: merge-pr script ( #22290 )
...
PR Close #22290
2018-02-18 13:13:29 -08:00
Victor Berchet
396bc0d9e9
build: use authenticated mode for the merge script ( #22269 )
...
`TOKEN` is the name with use for other GH scripts
PR Close #22269
2018-02-18 13:01:51 -08:00
Miško Hevery
9b280eef63
build: merge-pr new checks that all requested changes have been addressed ( #21817 )
...
PR Close #21817
2018-02-09 17:14:17 -08:00
Miško Hevery
7410941a7c
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
Miško Hevery
637515e71b
build: autosquashes SHAs as part of merge-pr script ( #21791 )
...
To support `git checkin --fixup` and `git checkin —squash`
we need to make sure that `merge-pr` squashes the sepecial
commits before they are merged.
For more details see:
https://robots.thoughtbot.com/autosquashing-git-commits
PR Close #21791
2018-01-25 22:12:11 -08:00
Miško Hevery
54238822e6
build: merge PR to all branches per target: label ( #21739 )
...
PR Close #21739
2018-01-24 12:35:13 -08:00
Misko Hevery
e726d81822
build: force fetch PR in merge script ( #21295 )
...
Use `-f` when doing `git fetch` for the PR. Without
it the `git fetch` will not overwrite what is currently
fetched locally, in essence doing fast-forward only.
PR Close #21295
2018-01-05 15:01:55 -05:00
Miško Hevery
bc7a6d7b00
build: force upstream fetch before merge ( #21192 )
...
PR Close #21192
2017-12-27 17:42:03 -06:00
Miško Hevery
d1764fc3dd
build: Add GitHub scripts for rebasing PRs ( #18359 )
...
PR Close #18359
2017-08-28 18:44:39 -05:00
