Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

app: config: Mutually exclusive group for local/global/system argument #769

Merged
merged 1 commit into from
Nov 14, 2024

Conversation

pdgendt
Copy link
Collaborator

@pdgendt pdgendt commented Nov 14, 2024

Use builtin mutually exclusive group support instead of a custom action.

Use builtin mutually exclusive group support instead of a custom action.

Signed-off-by: Pieter De Gendt <[email protected]>
@carlescufi
Copy link
Member

@pdgendt feel free to merge, I will rebase my PR on top

@pdgendt pdgendt merged commit 0fbb54c into zephyrproject-rtos:main Nov 14, 2024
16 checks passed
@pdgendt pdgendt deleted the exclusive-group branch November 14, 2024 14:11
@marc-hb
Copy link
Collaborator

marc-hb commented Nov 14, 2024

This looks like a no-brainer but as general rule leave at least 24-48h time open for review?

@pdgendt
Copy link
Collaborator Author

pdgendt commented Nov 14, 2024

This looks like a no-brainer but as general rule leave at least 24-48h time open for review?

Sorry, will do.

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.

3 participants