Looks like the GH branch protection is kicking in , kind of like : https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/about-protected-branches#require-pull-request-reviews-before-merging
Alternatively, you could do a PR to the branch (and merge it)? -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/issues/13586#issuecomment-1414229473 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/issues/13586/1414229...@github.com>
