chore(tidy): tidy up document

w3c / selection-api

Selection API

http://w3c.github.io/selection-api/

Other

46 stars 28 forks source link

Closed github-actions[bot] closed 3 years ago

github-actions[bot] commented 3 years ago

Automated changes by create-pull-request GitHub action

saschanaz commented 3 years ago

Hey @marcoscaceres, thank you for giving me admin right 😉

It seems the GH_TOKEN you added is missing public_repo access so it's failing to open a new PR, could you check and add that? Thanks!

rniwa commented 3 years ago

Could you mark this change as non-substantial in terms of IP?

w3cbot commented 3 years ago

saschanaz marked as non substantive for IPR from ash-nazg.