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

@saschanaz, you asked: 

> Why should this be a separate PR instead of a linter that blocks merging?

It's usually not worthwhile bothering random contributors to install tidy/run, as it just further discourages contributions. It's also means that one can't make quick edits directly on GitHub.  

> It needs an explicit GH token or it will not run w3c/spec-prod when opening PRs.

I minted one and saved it as "GH_TOKEN" in the secrets. Feel free to use 😊.



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