### Motivation Currently we don't have a good tool on managing the merge process for pull requests. Labels and milestones are not marked correctly. Changes are not cherry-picked to branches. It causes a lot of troubles for release managers to do a release.
### Changes This PR adopts the bookkeeper merge script and change it to use github pull request merge api instead of git push. This script handles: - labeling `component/` - labeling `type/` - mark the milestone - use github pull request merge api to do 'squash' merge - allow cherry-picking changes to branches and label them with corresponding `release/` labels. in the cherry-picked commits, it will add back-references to the original commit. so when you negative the commits on github, it should be able to quickly negative the original commit. [ Full content available at: https://github.com/apache/incubator-pulsar/pull/2526 ] This message was relayed via gitbox.apache.org for [email protected]
