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

correctly collect unknown host section errors #397

Merged
merged 5 commits into from
Nov 29, 2023

Conversation

elikoga
Copy link
Member

@elikoga elikoga commented Oct 17, 2023

This fixes #395 but I need to add another end-to-end test using an example to correctly test this, I think -> Draft

and is tested

@elikoga elikoga changed the title Draft: correctly collect unknown host section errors correctly collect unknown host section errors Oct 17, 2023
@elikoga elikoga marked this pull request as ready for review October 31, 2023 09:54
@elikoga elikoga requested a review from ctheune as a code owner October 31, 2023 09:54
ctheune
ctheune previously approved these changes Nov 29, 2023
Copy link
Member

@ctheune ctheune left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks, looks good

@elikoga elikoga force-pushed the 395-collect-host-secrets-section-error branch 2 times, most recently from 17bfc1d to d12cd5c Compare November 29, 2023 09:35
@elikoga elikoga force-pushed the 395-collect-host-secrets-section-error branch from d12cd5c to c8b4ca3 Compare November 29, 2023 09:35
@ctheune ctheune merged commit 71f971b into main Nov 29, 2023
10 checks passed
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.

Secrets become uneditable if you remove hosts
2 participants