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

> Oh BTW, "Tidy up" shouldn't be there since it never runs on PRs. (It works only after merging)

Done.

> "Build and Validate" not running here shows what I said in [#140 (comment)](https://github.com/w3c/selection-api/pull/140#issuecomment-859616116). The workaround is closing-and-reopeninng PRs from @github-actions, but I think linting should generally not open any additional PR?

Ok, I'm gonna merge this manually for now.

-- 
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-859954102