On the implementation side a bot (likely this new one: https://github.com/tvm-bot) with triage-level permissions could ensure that `[skip ci]` is present in the PR title if any of the commits in the PR have skipped CI (if a commit comes later on where CI isn't skipped, the submitter can manually remove the tag from the PR and the bot can remove the label), similar to other Apache repos with triaging bots on PRs. Optionally it could add a label as well (which has the benefit that submitters without committer status can't edit labels directly)
--- [Visit Topic](https://discuss.tvm.apache.org/t/rfc-ci-add-a-skip-ci-tag-to-shortcut-builds-and-tests/11589/12) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/edab6fda925c59c1487927ffe6ea1eb954d1333ce78b3db3aed69d9a801d3fa5).
