Skip to content

chore: remove accidentally committed wip docs#244

Merged
zharinov merged 1 commit intomasterfrom
chore/remove-wip-docs
Jan 4, 2026
Merged

chore: remove accidentally committed wip docs#244
zharinov merged 1 commit intomasterfrom
chore/remove-wip-docs

Conversation

@zharinov
Copy link
Member

@zharinov zharinov commented Jan 4, 2026

These docs were accidentally included in #243. They belong in the local pile only.

@zharinov zharinov merged commit 489024b into master Jan 4, 2026
4 checks passed
@zharinov zharinov deleted the chore/remove-wip-docs branch January 4, 2026 12:16
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