Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

.github: Add mirror from main -> master #24941

Merged
merged 1 commit into from Apr 18, 2023
Merged

Conversation

joestringer
Copy link
Member

We discussed during the community meeting that there should be a grace
period for developers relying on the 'master' branch to catch up and
switch to relying on 'main'. During that grace period, this action will
clone all pushes to 'main' into the 'master' branch.

Related: #23110

@joestringer joestringer added the release-note/misc This PR makes changes that have no direct user impact. label Apr 18, 2023
@maintainer-s-little-helper maintainer-s-little-helper bot added dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. and removed dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. labels Apr 18, 2023
@joestringer joestringer marked this pull request as ready for review April 18, 2023 17:07
@joestringer joestringer requested review from a team as code owners April 18, 2023 17:07
@joestringer joestringer requested a review from brlbil April 18, 2023 17:07
.github/workflows/mirror.yaml Outdated Show resolved Hide resolved
We discussed during the community meeting that there should be a grace
period for developers relying on the 'master' branch to catch up and
switch to relying on 'main'. During that grace period, this action will
clone all pushes to 'main' into the 'master' branch.

Signed-off-by: Joe Stringer <joe@cilium.io>
@joestringer joestringer merged commit 3aeeec8 into main Apr 18, 2023
41 of 42 checks passed
@joestringer joestringer deleted the pr/joe/mirror-master branch April 18, 2023 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants