### What changes were proposed in this pull request? This PR fixes the resolution for merged pull requests. It appears that the user "asfgit" is no longer closing pull requests, but rather the committers are. ### Why are the changes needed? Bugfix, make the merge script re-runnable again if you accidentally abort cherry-pick or change you mind later for backporting ### Does this PR introduce _any_ user-facing change? no ### How was this patch tested? tested locally Closes #1862 from yaooqinn/CELEBORN-931. Authored-by: Kent Yao <yao@apache.org> Signed-off-by: Cheng Pan <chengpan@apache.org> |
||
|---|---|---|
| .. | ||
| deps | ||
| checkout_pr.sh | ||
| dependencies.sh | ||
| merge_pr.py | ||
| reformat | ||