Skip to content

chore: Merge prod-staging into prod-stable#179

Merged
nurof3n merged 7 commits into
prod-stablefrom
prod-staging
Jun 2, 2026
Merged

chore: Merge prod-staging into prod-stable#179
nurof3n merged 7 commits into
prod-stablefrom
prod-staging

Conversation

@danielvallance

Copy link
Copy Markdown
Contributor

No description provided.

danielvallance and others added 7 commits May 28, 2026 09:48
This changes the sync workflow to push changes
to a single, fixed, branch name. This means that
there will only ever be a single open sync PR.

Closes: FIELD-510

Signed-off-by: Daniel Vallance <daniel@unikraft.com>
Reviewed-by: Alex-Andrei Cioc <andrei.cioc@unikraft.io>
Approved-by: Alex-Andrei Cioc <andrei.cioc@unikraft.io>
Signed-off-by: Unikraft Bot <monkey@unikraft.io>
Signed-off-by: Alex-Andrei Cioc <andrei.cioc@unikraft.io>
Signed-off-by: Alex-Andrei Cioc <andrei.cioc@unikraft.io>

@nurof3n nurof3n left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM!

Reviewed-by: Alex-Andrei Cioc andrei.cioc@unikraft.io
Approved-by: Alex-Andrei Cioc andrei.cioc@unikraft.io

@nurof3n nurof3n merged commit e8668e2 into prod-stable Jun 2, 2026
5 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.

3 participants