Skip to content

rabbit/Makefile: Drop Horus temporary pinning (backport #15230)#15233

Merged
dumbbell merged 1 commit intov4.2.xfrom
mergify/bp/v4.2.x/pr-15230
Jan 9, 2026
Merged

rabbit/Makefile: Drop Horus temporary pinning (backport #15230)#15233
dumbbell merged 1 commit intov4.2.xfrom
mergify/bp/v4.2.x/pr-15230

Conversation

@mergify
Copy link
Copy Markdown

@mergify mergify bot commented Jan 8, 2026

Why

We added this pinning at a time KHepri depended on an older version of Horus and we couldn't update Khepri.

Now we use the latest version of Khepri which uses the latest version of Horus. We can and must drop this temporary pinning to get that latest version.


This is an automatic backport of pull request #15230 done by Mergify.

[Why]
We added this pinning at a time KHepri depended on an older version of
Horus and we couldn't update Khepri.

Now we use the latest version of Khepri which uses the latest version of
Horus. We can and must drop this temporary pinning to get that latest
version.

(cherry picked from commit c262951)
@mergify mergify bot added the make label Jan 8, 2026
@dumbbell dumbbell marked this pull request as draft January 8, 2026 22:46
@dumbbell dumbbell marked this pull request as ready for review January 9, 2026 09:07
@dumbbell dumbbell merged commit 8629aec into v4.2.x Jan 9, 2026
291 checks passed
@dumbbell dumbbell deleted the mergify/bp/v4.2.x/pr-15230 branch January 9, 2026 09:07
@dumbbell dumbbell added this to the 4.2.3 milestone Jan 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant