jongyoul commented on PR #4831: URL: https://github.com/apache/zeppelin/pull/4831#issuecomment-2359924657
> this can not be fixed due to the GitHub API limitation. We can fix it by squashing it locally in the script pushing it, and calling Github API to merge the PR instead of committing and pushing the PR directly to master. > I don't see contributors confused with that When I was a contributor, I was confused really because I didn't know why my PR was closed instead of merging even though it exists in the master branch. That's why I insisted on using the Giuthub merge button and tried to work others manually like closing JIRA with the proper fix version and cherry-picking some commits by myself. -- 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. To unsubscribe, e-mail: reviews-unsubscr...@zeppelin.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
