Skip to content

Sync common files from infra repository - #303

Merged
jeckersb merged 1 commit into
mainfrom
sync-common-files
Jul 27, 2026
Merged

Sync common files from infra repository#303
jeckersb merged 1 commit into
mainfrom
sync-common-files

Conversation

@bootc-bot

@bootc-bot bootc-bot Bot commented Jul 23, 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@574cc5b.

@bootc-bot
bootc-bot Bot force-pushed the sync-common-files branch from 7ff27c1 to 4cda201 Compare July 23, 2026 21:09
jeckersb
jeckersb previously approved these changes Jul 27, 2026
@jeckersb
jeckersb enabled auto-merge (squash) July 27, 2026 16:48
Synchronized from bootc-dev/infra@574cc5b.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@jeckersb
jeckersb merged commit 20aae49 into main Jul 27, 2026
19 checks passed
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