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

Allow /efi as boot partition as well #33

Merged
merged 1 commit into from
Sep 12, 2023
Merged

Allow /efi as boot partition as well #33

merged 1 commit into from
Sep 12, 2023

Conversation

5kt
Copy link
Contributor

@5kt 5kt commented Sep 8, 2023

What this PR does / why we need it:
Allow /efi as boot partition as well

@gardener-robot
Copy link
Contributor

@5kt Thank you for your contribution.

@gardener-robot gardener-robot added needs/review Needs review size/xs Size of pull request is tiny (see gardener-robot robot/bots/size.py) labels Sep 8, 2023
@gardener-robot
Copy link
Contributor

@nkraetzschmar You have pull request review open invite, please check

@5kt 5kt merged commit 5100a81 into main Sep 12, 2023
2 checks passed
@5kt 5kt deleted the boot branch September 12, 2023 06:07
@gardener-robot gardener-robot added the status/closed Issue is closed (either delivered or triaged) label Sep 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs/review Needs review size/xs Size of pull request is tiny (see gardener-robot robot/bots/size.py) status/closed Issue is closed (either delivered or triaged)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants