From: Michael Hofmann on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2654#note_1581...
@dzickusrh rebased
https://gitlab.com/cki-project/kernel-
ark/-/merge_requests/2651 with (some) version of the same three commits is
still green 🤔