Re: [w3c/selection-api] chore(tidy): tidy up document (#140)

at the moment, the only way to avoid the IPR check would be to mark `github-actions` as always OK, which, for a bot, would mean we're sure it will never be used to make a substantive change. I'm not sure how robust that assumption would be… But maybe the IPR bot could detect white-space only changes to deal with that particular usage? @siusin can you file an issue towards that in https://github.com/w3c/ash-nazg/issues ?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/selection-api/pull/140#issuecomment-859621573