Skip to content

feat: merge copilot/create-sourceos-devtools-repo#134

Merged
mdheller merged 2 commits into
mainfrom
copilot/create-sourceos-devtools-repo
Jul 4, 2026
Merged

feat: merge copilot/create-sourceos-devtools-repo#134
mdheller merged 2 commits into
mainfrom
copilot/create-sourceos-devtools-repo

Conversation

@mdheller

@mdheller mdheller commented Jul 4, 2026

Copy link
Copy Markdown
Contributor

Capturing and stabilizing branch content for merge. All branch content intentional — preserving as authored.

Copilot AI and others added 2 commits April 30, 2026 12:59
- Add roleDeveloperToolchain to semantic/repo-ontology.jsonld and context.jsonld
- Add examples/repo-descriptor.sourceos-devtools.jsonld
- Update semantic/repo.jsonld and examples/repo-descriptor.sourceos-spec.jsonld to connect to devtools
- Add docs/adr/ADR-2026-04-devtools-boundary.md establishing the devtools boundary
- Update docs/REPO_DESCRIPTOR_GUIDE.md with new role and near-term follow-up entry

Closes #70

Agent-Logs-Url: https://github.com/SourceOS-Linux/sourceos-spec/sessions/03c8a0b2-521b-4d59-a431-5d7818e058cd

Co-authored-by: mdheller <21163552+mdheller@users.noreply.github.com>
@mdheller mdheller merged commit 242d57c into main Jul 4, 2026
3 checks passed
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