Skip to content

Sync common files from infra repository#86

Open
bootc-bot[bot] wants to merge 1 commit into
mainfrom
sync-common-files
Open

Sync common files from infra repository#86
bootc-bot[bot] wants to merge 1 commit into
mainfrom
sync-common-files

Conversation

@bootc-bot

@bootc-bot bootc-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Created by GitHub workflow (source).

This PR synchronizes common files from the infra repository.

Synchronized from bootc-dev/infra@0c34c5b.

@bootc-bot
bootc-bot Bot force-pushed the sync-common-files branch 2 times, most recently from 4529dbd to 43606c9 Compare July 6, 2026 18:41
@bootc-bot
bootc-bot Bot force-pushed the sync-common-files branch from 43606c9 to f9af48f Compare July 20, 2026 18:54
jlebon
jlebon previously approved these changes Jul 23, 2026
@jlebon

jlebon commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator

OK, looks like the new files are failing REUSE compliance.

Will hold this for now. I'm not sure if it just checks new files in a diff (so then we can ignore and merge anyway), or if it checks the whole tree each time (so then it'll be perma-red until we fix it).

Synchronized from bootc-dev/infra@0c34c5b.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@bootc-bot
bootc-bot Bot force-pushed the sync-common-files branch from a0f14dc to 1c0f518 Compare July 23, 2026 21:09
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.

1 participant