Skip to content

Sync common files from infra repository#293

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

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

Conversation

@bootc-bot

@bootc-bot bootc-bot Bot commented May 11, 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@590d4db.

giuseppe
giuseppe previously approved these changes May 11, 2026

@giuseppe giuseppe left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@cgwalters cgwalters enabled auto-merge May 18, 2026 20:58
@cgwalters cgwalters disabled auto-merge May 21, 2026 18:52
Synchronized from bootc-dev/infra@590d4db.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@jeckersb jeckersb added this pull request to the merge queue Jun 9, 2026
Merged via the queue into main with commit 3ed8fa4 Jun 9, 2026
18 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