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. 

Reasonable, but could it instead push the change to each PR rather than opening a new one after merging? 🤔

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