driazati commented on PR #88: URL: https://github.com/apache/tvm-rfcs/pull/88#issuecomment-1226673013
> @driazati notes that GitHub [just introduced](https://github.blog/changelog/2022-08-23-new-options-for-controlling-the-default-commit-message-when-merging-a-pull-request/) new options for controlling the default commit messages, so hopefully we can leverage that to implement the merge and complement that with a lint tool. This setting looks like it includes `@` tags from PRs in the default commit message which may make it a non-starter for us since that generates a lot of notifications -- 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: commits-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org