diff options
author | Josh Rosen <joshrosen@apache.org> | 2014-07-31 14:35:09 -0700 |
---|---|---|
committer | Josh Rosen <joshrosen@apache.org> | 2014-07-31 14:35:09 -0700 |
commit | e02136214a6c2635e88c36b1f530a97e975d83e3 (patch) | |
tree | 36d4b829373a3eeb9607fc5fef22b01aa86537bf /docs/monitoring.md | |
parent | 49b361298b09d415de1857846367913495aecfa6 (diff) | |
download | spark-e02136214a6c2635e88c36b1f530a97e975d83e3.tar.gz spark-e02136214a6c2635e88c36b1f530a97e975d83e3.tar.bz2 spark-e02136214a6c2635e88c36b1f530a97e975d83e3.zip |
Improvements to merge_spark_pr.py
This commit fixes a couple of issues in the merge_spark_pr.py developer script:
- Allow recovery from failed cherry-picks.
- Fix detection of pull requests that have already been merged.
Both of these fixes are useful when backporting changes.
Author: Josh Rosen <joshrosen@apache.org>
Closes #1668 from JoshRosen/pr-script-improvements and squashes the following commits:
ff4f33a [Josh Rosen] Default SPARK_HOME to cwd(); detect missing JIRA credentials.
ed5bc57 [Josh Rosen] Improvements for backporting using merge_spark_pr:
Diffstat (limited to 'docs/monitoring.md')
0 files changed, 0 insertions, 0 deletions