Skip to content
New issue

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

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

Already on GitHub? # to your account

Disable PR merge for 10.0.0 branch #5223

Merged
merged 1 commit into from
Aug 2, 2022
Merged

Disable PR merge for 10.0.0 branch #5223

merged 1 commit into from
Aug 2, 2022

Conversation

bdukes
Copy link
Contributor

@bdukes bdukes commented Aug 2, 2022

Until we have a release/10.0.0 this will fail every time

Until we have a `release/10.0.0` this will fail every time
@bdukes bdukes added this to the 9.10.3 milestone Aug 2, 2022
@valadas
Copy link
Contributor

valadas commented Aug 2, 2022

This is a release management task, as per our policy, we are self-approving it.

@valadas valadas merged commit 177bf4e into develop Aug 2, 2022
@bdukes bdukes deleted the disable-merge-10 branch August 9, 2022 18:04
@valadas valadas modified the milestones: 9.10.3, 9.11.0 Sep 28, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants