sijie opened a new pull request #2526: [dev] provide a python merge script for merging pull requests URL: https://github.com/apache/incubator-pulsar/pull/2526 ### 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.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
