Skip to content

chore: update GitHub org links#497

Merged
tomdps merged 1 commit into
devfrom
codex/org-rename-github-links
Jun 15, 2026
Merged

chore: update GitHub org links#497
tomdps merged 1 commit into
devfrom
codex/org-rename-github-links

Conversation

@tomdps

@tomdps tomdps commented Jun 15, 2026

Copy link
Copy Markdown
Collaborator

Update repository metadata, docs, and merge-queue setup references after the GitHub organization rename.\n\nKeeps the npm package scope unchanged.\n\nVerification:\n- npm run lint\n- npm run typecheck\n- npm run validate:templates

@tomdps tomdps force-pushed the codex/org-rename-github-links branch from 985bf34 to 3846ad0 Compare June 15, 2026 17:35
@tomdps tomdps changed the base branch from main to dev June 15, 2026 17:38
Update repository metadata, docs, and merge-queue setup references after the GitHub organization rename.
@tomdps tomdps force-pushed the codex/org-rename-github-links branch from 3846ad0 to 6abc54b Compare June 15, 2026 17:38
@tomdps tomdps added this pull request to the merge queue Jun 15, 2026
Merged via the queue into dev with commit aea9020 Jun 15, 2026
3 checks passed
@tomdps tomdps deleted the codex/org-rename-github-links branch June 15, 2026 17:44
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.

1 participant