[GitHub] [incubator-pulsar] ivankelly commented on pull request #2526: [dev] provide a python merge script for merging pull requests

Thu, 06 Sep 2018 08:07:12 -0700 

The merge api should throw an error if you can't merge, no?

[ Full content available at: 
https://github.com/apache/incubator-pulsar/pull/2526 ]
This message was relayed via gitbox.apache.org for [email protected]

Reply via email to