[w3c/selection-api] chore(workflows/tidy): tidy document after merge (#139)

This workflow will keep your documents nice and tidy 🧹. 

It sends you a PR after a merge. 

Please always check the PR carefully before merging it. Tidy changes markup, so if it gets garbage as input, it will try to recover from that (and sometimes it doesn't do the right thing!). 
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/selection-api/pull/139


-- Commit Summary --

  * chore(workflows/tidy): tidy document after merge

-- File Changes --

    A .github/workflows/tidy.yml (20)

-- Patch Links --

https://github.com/w3c/selection-api/pull/139.patch

https://github.com/w3c/selection-api/pull/139.diff


-- 
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/139