Skip to content

Sync common files from infra repository#2272

Merged
jeckersb merged 1 commit into
mainfrom
sync-common-files
Jun 30, 2026
Merged

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

Conversation

@bootc-bot

@bootc-bot bootc-bot Bot commented Jun 29, 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@807d2fe.

@bootc-bot bootc-bot Bot requested a review from henrywang June 29, 2026 18:52
Synchronized from bootc-dev/infra@807d2fe.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@bootc-bot bootc-bot Bot force-pushed the sync-common-files branch from d551e15 to 8f533a3 Compare June 30, 2026 14:28
@jeckersb jeckersb enabled auto-merge June 30, 2026 14:31
@jeckersb jeckersb added this pull request to the merge queue Jun 30, 2026
Merged via the queue into main with commit 323ab19 Jun 30, 2026
20 checks passed
@jeckersb jeckersb deleted the sync-common-files branch June 30, 2026 22: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