ensure that anyone in the WG can edit the UC wiki / make PR

w3c / rdf-star-wg

RDF-star Working Group

Other

22 stars 8 forks source link

Closed ghurlbot closed 1 year ago

ghurlbot commented 1 year ago

due 29 Jun 2023

pchampin commented 1 year ago

the wiki settings have been changed to allow anyone with a github account to contribute
anyone can already do PRs on the repo
PRs on the wiki are apparently not possible in github