Skip to content

Sync common files from infra repository#132

Merged
jeckersb merged 1 commit intomainfrom
sync-common-files
Mar 16, 2026
Merged

Sync common files from infra repository#132
jeckersb merged 1 commit intomainfrom
sync-common-files

Conversation

@bootc-bot
Copy link
Contributor

@bootc-bot bootc-bot bot commented Mar 13, 2026

Created by GitHub workflow (source).

This PR synchronizes common files from the infra repository.

Synchronized from bootc-dev/infra@a9c43f8.

@bootc-bot bootc-bot bot force-pushed the sync-common-files branch from af9c66c to 10ff9fb Compare March 16, 2026 08:40
Synchronized from bootc-dev/infra@a9c43f8.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@jeckersb jeckersb force-pushed the sync-common-files branch from 10ff9fb to c39e971 Compare March 16, 2026 14:48
Copy link
Collaborator

@jeckersb jeckersb left a comment

Choose a reason for hiding this comment

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

Had to force rebase this due to merge conflict in rebase.yml but we should remove it here since it was removed upstream in infra.

@jeckersb jeckersb enabled auto-merge (squash) March 16, 2026 14:49
@jeckersb jeckersb merged commit 7656578 into main Mar 16, 2026
2 of 3 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.

1 participant