Skip to content
Sinhrks edited this page Feb 11, 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 scripts/merge-py.py

and provide the pull request number you are merging.

Clone this wiki locally