Skip to content

Comments

.github/workflows: adjust branch name to main#101

Merged
rolinh merged 1 commit intomainfrom
pr/tklauser/branch-rename-main
Oct 9, 2025
Merged

.github/workflows: adjust branch name to main#101
rolinh merged 1 commit intomainfrom
pr/tklauser/branch-rename-main

Conversation

@tklauser
Copy link
Member

@tklauser tklauser commented Oct 9, 2025

Following the branch rename.

Following the branch rename.

Signed-off-by: Tobias Klauser <tobias@cilium.io>
@tklauser tklauser requested a review from rolinh October 9, 2025 07:23
@rolinh rolinh merged commit 3cc2661 into main Oct 9, 2025
3 checks passed
@rolinh rolinh deleted the pr/tklauser/branch-rename-main branch October 9, 2025 07:31
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