Skip to content

Sync common files from infra repository - #86

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

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@ec12516.

@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).

@bootc-bot
bootc-bot Bot force-pushed the sync-common-files branch 3 times, most recently from 1c0f518 to 8339f22 Compare July 27, 2026 17:06
Synchronized from bootc-dev/infra@ec12516.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@alicefr

alicefr commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

Closing since it is already present in #104 which fix the reuse

@alicefr alicefr closed this Aug 5, 2026
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