Skip to content

chore(ujust): remove configure-grub#99

Merged
inffy merged 1 commit intomainfrom
rm-configure-grub
Jan 10, 2026
Merged

chore(ujust): remove configure-grub#99
inffy merged 1 commit intomainfrom
rm-configure-grub

Conversation

@renner0e
Copy link
Collaborator

@renner0e renner0e commented Jan 9, 2026

This is not supported upstream and may one day just randomly break in catastrophic ways.

This is not supported upstream and may one day just randomly break in
catastrophic ways.
Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Code Review

This pull request removes the configure-grub feature by deleting the configure-grub.sh script and its corresponding just command from system.just. The rationale is that this feature is not supported upstream and could lead to future breakages. The changes are straightforward and correctly implemented. I find no issues with this removal.

@inffy inffy added this pull request to the merge queue Jan 10, 2026
Merged via the queue into main with commit 1c976f2 Jan 10, 2026
2 checks passed
@inffy inffy deleted the rm-configure-grub branch January 10, 2026 05:34
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