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

..

utils

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

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

merge-pr

build: force fetch PR in merge script (#21295)

2018-01-05 15:01:55 -05: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