Skip to content

Fix wrong user config error#341

Merged
lukasdotcom merged 1 commit intomainfrom
wrong-config-error
Feb 11, 2026
Merged

Fix wrong user config error#341
lukasdotcom merged 1 commit intomainfrom
wrong-config-error

Conversation

@lukasdotcom
Copy link
Member

No description provided.

Signed-off-by: Lukas Schaefer <lukas@lschaefer.xyz>
@lukasdotcom lukasdotcom requested a review from kyteinsky February 9, 2026 16:05
@lukasdotcom lukasdotcom merged commit 92ef892 into main Feb 11, 2026
31 of 41 checks passed
@lukasdotcom lukasdotcom deleted the wrong-config-error branch February 11, 2026 16:46
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