From: Justin Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/issues/29#note_356344429
As I mentioned in the thread, what Fedora is set at is not relevant
here, these are new options, and when the MR is created, Fedora is
always set to the same value in pending-fedora. We don't have a
possibly different value until I go through and change it by hand.