Skip to content
Tom Augspurger edited this page Jan 24, 2016 · 8 revisions

The repository includes scripts/merge-py.py, which will cherry-pick and squash the commits in a pull request. The commit history of the development branch is left untouched.

Run the script with

python2 script/merge-pr.py

and provide the pull request number you are merging.

Clone this wiki locally