Skip to content

Record invariants for path migration.#28589

Merged
anp-oai merged 1 commit into
mainfrom
path-reqs
Jun 16, 2026
Merged

Record invariants for path migration.#28589
anp-oai merged 1 commit into
mainfrom
path-reqs

Conversation

@anp-oai

@anp-oai anp-oai commented Jun 16, 2026

Copy link
Copy Markdown
Contributor

Why

Help Codex understand how to execute the migration to support cross-OS paths.

What

Expand the path-types skill with our goals and constraints.

@anp-oai
anp-oai enabled auto-merge (squash) June 16, 2026 21:02
@anp-oai
anp-oai merged commit 33d5023 into main Jun 16, 2026
31 checks passed
@anp-oai
anp-oai deleted the path-reqs branch June 16, 2026 21:05
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 16, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants