tqchen commented on PR #10964: URL: https://github.com/apache/tvm/pull/10964#issuecomment-1096994181
current requirment is indeed pr-merge. When we change to pr-head, likely we want to do it carefully in a few steps(to avoid need to go through ASF-infra) - Start with requiring pr-merge - Send PR to change to a different requirement - Update the config to require that btw @driazati on a separate topic, any background reading about `pr-head`? -- 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]
