Skip to content

rabbit/Makefile: Drop Horus temporary pinning#15230

Merged
dumbbell merged 1 commit intomainfrom
drop-temporary-dep-on-horus
Jan 8, 2026
Merged

rabbit/Makefile: Drop Horus temporary pinning#15230
dumbbell merged 1 commit intomainfrom
drop-temporary-dep-on-horus

Conversation

@dumbbell
Copy link
Copy Markdown
Collaborator

@dumbbell dumbbell 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.

[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.
@dumbbell dumbbell added this to the 4.3.0 milestone Jan 8, 2026
@dumbbell dumbbell self-assigned this Jan 8, 2026
@mergify mergify bot added the make label Jan 8, 2026
@dumbbell dumbbell marked this pull request as ready for review January 8, 2026 22:44
@dumbbell dumbbell merged commit d565863 into main Jan 8, 2026
291 checks passed
@dumbbell dumbbell deleted the drop-temporary-dep-on-horus branch January 8, 2026 22:44
dumbbell added a commit that referenced this pull request Jan 9, 2026
rabbit/Makefile: Drop Horus temporary pinning (backport #15230)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant