Skip to content

Fix incomplete renaming - #126

Merged
fedgiac merged 1 commit into
mainfrom
fix-incomplete-rename
Aug 27, 2026
Merged

Fix incomplete renaming#126
fedgiac merged 1 commit into
mainfrom
fix-incomplete-rename

Conversation

@fedgiac

@fedgiac fedgiac commented Aug 27, 2026

Copy link
Copy Markdown
Contributor

Unfortunately, I merged #118 too quickly and I left some fields not properly renamed.

Interesting that one of the missing renames is in a dev docs. The reason our dev docs CI didn't catch it is that the bad docs is in the test. According to Claude (I don't think it's worth investigating further) there's no stable way to also check the test docs, so I'm going to keep CI as is and accept that the test docs may be broken.

How to test

Eyeball the changes.

@fedgiac
fedgiac requested a review from a team as a code owner August 27, 2026 11:02
@fedgiac
fedgiac merged commit 87e40a3 into main Aug 27, 2026
14 checks passed
@fedgiac
fedgiac deleted the fix-incomplete-rename branch August 27, 2026 11:42
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