search

w3c / rdf-star

RDF-star specification
https://w3c.github.io/rdf-star/
Other
120 stars 23 forks source link

Changes as per Issue #196 #210

Closed rdfguy closed 3 years ago

rdfguy commented 3 years ago

Explanatory paragraph added to the end of Section 2.1.

Preview | Diff

gkellogg commented 3 years ago

For a future PR, better to use a branch other than "main", which would generally mirror the "main" branch of the target repo. That way, if there is some divergence, it doesn't mess up your fork.

afs commented 3 years ago

@rdfguy - the automatic IP check says "rdfguy is unknown, they need to link their GitHub account with a W3C account."

https://labs.w3.org/repo-manager/pr/id/w3c/rdf-star/210

Would it be possible for you to add your GH account to your W3C account?