pan3793 commented on PR #4831: URL: https://github.com/apache/zeppelin/pull/4831#issuecomment-2356448238
> ... this script closes PRs instead of merging them. > ... merge script marked the pull request as closed, which doesn't reflect the history. Yes, this is a drawback. If you look at Spark's PRs, the committer who merged the PR will clarify that by commenting something like "Merged to master/3.5". > Where did you get the screenshots? A git GUI client, https://fork.dev/ > ... I don't think the Squash&Merge feature should be disabled for that. Okay, and I'm not against using this approach, as long as the committer does not forget to do other things manually. -- 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
