Skip to content

[pull] main from bootc-dev:main#162

Merged
pull[bot] merged 1 commit into
TheTechOddBug:mainfrom
bootc-dev:main
May 14, 2026
Merged

[pull] main from bootc-dev:main#162
pull[bot] merged 1 commit into
TheTechOddBug:mainfrom
bootc-dev:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 14, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Undo hacky --noscripts - this was working around an rpm-ostree
bug (working on a PR for that).

Assisted-by: OpenCode (claude-sonnet-4-6@default)
Signed-off-by: Colin Walters <walters@verbum.org>
@pull pull Bot locked and limited conversation to collaborators May 14, 2026
@pull pull Bot added the ⤵️ pull label May 14, 2026
@pull pull Bot merged commit 280d7f1 into TheTechOddBug:main May 14, 2026
1 of 6 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant