On Sat, Dec 15, 2018 at 7:39 AM Bruno Wolff III <bruno(a)wolff.to> wrote:
On Wed, Dec 12, 2018 at 12:37:24 -0600,
Bruno Wolff III <bruno(a)wolff.to> wrote:
>On Thu, Dec 06, 2018 at 14:29:15 +0000,
> "Richard W.M. Jones" <rjones(a)redhat.com> wrote:
>>Anyway it seems like Rawhide isn't getting new nodebug kernels.
>>- Latest nodebug kernel:
>>- Latest Rawhide kernel:
>Something weird is going on. The git0.1 kernels make it in, but the
>other gitX.2 kernels don't. It keeps reverting to 4.20.0-0.rc1.git4.2.
>It reverted again today.
Is this issue being tracked somewhere? If not, where is the correct place
to report it?
Kernel list is the best place to report it, but I am looking into it.
I occasionally miss the push, but I know I have pushed 2 already this
week, yet for some reason it is still showing the 4.20.0-rc1.git4.2 I
just pushed rc7 again as a test, and it seems to be updated. Let's
see if it reverts.