zuston commented on PR #1247: URL: https://github.com/apache/auron/pull/1247#issuecomment-3240732510
> > Should we create an issue to track this PR? Then we could also follow the unified commit log style, such as `[AURON-XXX] xxxx.` > > At present, we lack tools like Kyuubi merge pr. If we directly use the function of GitHub merge, we can't conveniently bring the description information of PR into commit message, backport to other branches, and there is no author of merge pr. > > If a PR has no related issue, kyuubi merge pr tool can generate a title with PR. > > https://github.com/apache/kyuubi/blob/master/dev/merge_kyuubi_pr.py#L92-L96 > > If we don't need to introduce the tool of merge pr, we can add a CI to check whether the PR title meets the specifications. This tool seems to mark a PR as closed after it’s merged, which looks a bit odd. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
