[GitHub] maskit commented on issue #2526: [dev] provide a python merge script for merging pull requests

2018-09-07 Thread GitBox
maskit commented on issue #2526: [dev] provide a python merge script for merging pull requests URL: https://github.com/apache/incubator-pulsar/pull/2526#issuecomment-419516617 Alright, it seems like I need to read what the script actually does. Although I haven't read the script at

[GitHub] maskit commented on issue #2526: [dev] provide a python merge script for merging pull requests

2018-09-07 Thread GitBox
maskit commented on issue #2526: [dev] provide a python merge script for merging pull requests URL: https://github.com/apache/incubator-pulsar/pull/2526#issuecomment-419464632 > agreed. that's what I stated in the mail thread. what I need is a clear policy. the tool here is adding