Skip to content

Conversation

@pchampin
Copy link
Contributor

No description provided.

@gkellogg
Copy link
Member

@pchampin it doesn't seem that these common files are the same as those in the ref-common repository, and I don't see any recent PRs or commits there to match what's in here. Is something missing?

@pchampin
Copy link
Contributor Author

@pchampin it doesn't seem that these common files are the same as those in the ref-common repository, and I don't see any recent PRs or commits there to match what's in here. Is something missing?

my bad... I had one pending commit on rdf-common that I forgot to push to github 😅
This should now be fixed.

Note that I didn't make any PR to rdf-common, I pushed the commits directly to 'main'... I though that it was trivial enough, and also that it would be redundant with PRs on individual spec repos...

@gkellogg gkellogg merged commit acd5212 into main Aug 14, 2025
2 of 3 checks passed
@gkellogg gkellogg deleted the update-common-2025-08 branch August 14, 2025 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants