[GitHub] [bahir] lresende commented on issue #83: [BAHIR-60] Script to merge pull requests

[GitBox <gi...@apache.org>]

lresende commented on issue #83: [BAHIR-60] Script to merge pull requests
URL: https://github.com/apache/bahir/pull/83#issuecomment-479611782
 
 
   Thanks for this @lukasz-antoniak. I really would have hoped you didn't start from scratch but did small modifications on an existing merge script such as the one from [Spark](https://github.com/apache/spark/blob/master/dev/merge_spark_pr.py) as that would give us the benefit of being used and tested in large scale in multiple projects for a little while. I would like to suggest you take a quick look at the merge-script from Spark and suggest what we should do as next steps: update this one versus adopting an existing one with modifications to any specific use case we might have. 

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services