check out PRs against GitHub wiki pages

w3c / rdf-star-wg

RDF-star Working Group

Other

22 stars 8 forks source link

check out PRs against GitHub wiki pages #68

Closed ghurlbot closed 1 year ago

ghurlbot commented 1 year ago

due 29 Jun 2023

pfps commented 1 year ago

It is possible to set up a wiki so that PRs can be made against it by using some wizardry. But it is probably not worthwhile doing, as letting everyone in the WG edit the pages is easier.