Hi Jeff and Jongyoul,
it seems that you have changed the way of merging pull requests into the
Zeppelin master branch.
The following pull request
(https://github.com/apache/zeppelin/pull/4332) looks great in GitHub
(marked as merged) and in the commit histroy
(https://github.com/apache/zeppelin/commit/4b60f08bd0ad241a7b197d7165abbb7c066ec979)
with a link into the Apache JIRA.
How did you achieve this?
I failed with the pull request https://github.com/apache/zeppelin/pull/4337
I merged the last pull requests with the `./dev/merge_zeppelin_pr.py`
script, but this script closes the pull requests, which does not look
good in GitHub.
Best Regards
Philipp
