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

Initial content for RDF 1.2 Schema. #1

Merged
merged 1 commit into from
Jan 17, 2023
Merged

Initial content for RDF 1.2 Schema. #1

merged 1 commit into from
Jan 17, 2023

Conversation

gkellogg
Copy link
Member

No description provided.

@gkellogg gkellogg merged commit 6ab4f88 into main Jan 17, 2023
@gkellogg gkellogg deleted the initial-content branch January 17, 2023 22:49
@gkellogg
Copy link
Member Author

Yes, the GH action file is the same across all the repos. @pchampin may have a tool to help automate bulk changes to all repos; if not, we’ll need something. May be a good reason to avoid the normal PR process, after all.

@afs
Copy link
Contributor

afs commented Jan 21, 2023

I have script (meta-programming in bash!) that operates on all checked out rdf-* or sparql-* repos.

Once we switch from bulk changes to per-document, that's how I plan to make widespread changes. 🤞🏻

@gkellogg
Copy link
Member Author

Is the bash script checked in somewhere?

@afs
Copy link
Contributor

afs commented Jan 21, 2023

No.

The conversion checks in some intermediate files, which can be git deleted when docs are proven.

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.

2 participants