search

w3c / rdf-star-wg

RDF-star Working Group
Other
25 stars 8 forks source link

prs to all repos to add link to ucr repository #64

Closed ghurlbot closed 1 year ago

ghurlbot commented 1 year ago

due 22 Jun 2023

pfps commented 1 year ago

I'll coordinate with @gkellogg to create PRs that make this part of the repositories similar.

pfps commented 1 year ago

@gkellogg Look at https://github.com/w3c/rdf-semantics/pull/37 to see whether the content is reasonable and whether the link syntax will work. (Is there a way to checkout this link syntax without a lot of hassle?)

pfps commented 1 year ago

@gkellogg OK, I'll mark that PR as an edit. I'll also create a similar PR for entailments. Next week they can be merged in and then I'll create similar PRs for the other documents.

gkellogg commented 1 year ago

I think we need to wait until the rdf-ucr doc is further along to add to common/related.html and common/local-biblio.js. We also need to have an approved short name (presumably RDF12-UCR) and group resolution.

pfps commented 1 year ago

README.md has been updated for all relevant repositories.