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.

Sign up for GitHub

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

Jump to bottom

[Backport release-24.05] protege: init at 5.6.4 #317097

Merged
merged 1 commit into from
Jun 5, 2024
Merged

[Backport release-24.05] protege: init at 5.6.4 #317097

merged 1 commit into from
Jun 5, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jun 4, 2024

Bot-based backport to release-24.05, triggered by a label in #316647.

  • Before merging, ensure that this backport is acceptable for the release.
    • Even as a non-commiter, if you find that it is not acceptable, leave a comment.

@nessdoor @github-actions
protege: init at 5.6.4
9e73583 
(cherry picked from commit d5e6d0c)
@github-actions github-actions bot mentioned this pull request Jun 4, 2024
Merged
13 tasks
@ofborg ofborg bot added the 8.has: package (new) This PR adds a new package label Jun 4, 2024
@ofborg ofborg bot requested a review from nessdoor June 4, 2024 05:20
@wegank wegank added 12.approvals: 1 This PR was reviewed and approved by one reputable person 12.approved-by: package-maintainer This PR was reviewed and approved by a maintainer listed in the package labels Jun 4, 2024
@SuperSandro2000 SuperSandro2000 merged commit 8347fa6 into release-24.05 Jun 5, 2024
25 checks passed
@SuperSandro2000 SuperSandro2000 deleted the backport-316647-to-release-24.05 branch June 5, 2024 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nessdoor nessdoor nessdoor approved these changes

Assignees
No one assigned
Labels
8.has: package (new) This PR adds a new package 10.rebuild-darwin: 1-10 10.rebuild-darwin: 1 10.rebuild-linux: 1-10 10.rebuild-linux: 1 12.approvals: 1 This PR was reviewed and approved by one reputable person 12.approved-by: package-maintainer This PR was reviewed and approved by a maintainer listed in the package
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@nessdoor @SuperSandro2000 @wegank