Skip to content

docs: remove peer_id rewrite standards note#18

Merged
uink45 merged 1 commit intomainfrom
codex/remove-peer-id-standards-note
Feb 15, 2026
Merged

docs: remove peer_id rewrite standards note#18
uink45 merged 1 commit intomainfrom
codex/remove-peer-id-standards-note

Conversation

@uink45
Copy link
Collaborator

@uink45 uink45 commented Feb 15, 2026

Remove standards/rewrite-pilot-6-peer-id.md as requested.

@uink45 uink45 merged commit 1551115 into main Feb 15, 2026
3 checks passed
@uink45 uink45 deleted the codex/remove-peer-id-standards-note branch February 15, 2026 12:08
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