Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ad-hoc terms can be moved to a Profile Crate #233

Merged
merged 3 commits into from Mar 23, 2023

Conversation

stain
Copy link
Contributor

@stain stain commented Jan 17, 2023

Links the Ad-hoc section to the new profile section and suggest using that profile as a @context to avoid repeating terms.

@stain
Copy link
Contributor Author

stain commented Mar 23, 2023

Merging as call 2023-03-23 agreed to merge all outstanding PR (that are not WIP) so we can do an overall review and push out 1.2.

@stain stain merged commit a04b036 into master Mar 23, 2023
@stain stain deleted the jsonld-context-from-profile branch March 23, 2023 21:46
@stain stain added this to the RO-Crate 1.2 milestone Mar 23, 2023
@stain stain mentioned this pull request Apr 28, 2023
29 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants