Skip to content

Conversation

@insatomcat
Copy link
Member

@insatomcat insatomcat commented Jul 18, 2025

debian_grub_bootcount: fix README filename


some linting

Signed-off-by: Florent CARLI <florent.carli@rte-france.com>
@insatomcat insatomcat requested a review from dupremathieu July 18, 2025 17:25
Signed-off-by: Florent CARLI <florent.carli@rte-france.com>
@insatomcat insatomcat force-pushed the fixreadme branch 2 times, most recently from 5ddf37e to 6f91402 Compare July 19, 2025 11:49
@insatomcat insatomcat changed the title debian_grub_bootcount: fix README filename some fixes Jul 19, 2025
@insatomcat insatomcat force-pushed the fixreadme branch 2 times, most recently from 20d3ac3 to 132b142 Compare July 19, 2025 21:14
@insatomcat insatomcat merged commit fc9d45f into main Jul 21, 2025
9 of 12 checks passed
@insatomcat insatomcat deleted the fixreadme branch July 21, 2025 10:00
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