Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
Utility for creating well-formed pull request merges and pushing them to Apache. Use the one from spark project: https://github.com/apache/spark/blob/master/dev/merge_spark_pr.py