Observations: Not having it obvious in the kernel name that it was a kernel from the nodebug repo caused a minor amount of confusion. A normal rawhide kernel and a nodebug repo kernel both ended up with the name 3.7.0-0.rc5.git1.3.fc19. A normal rawhide nodebug kernel is still being built once per rc. There seems to be a lot of variability in the lag of when a nodebug version of any particular rawhide kernel. Suggestions: Instead of bumping the release number for nodebug kernels and the string ".nodebug" to the end of the release. For example: 3.7.0-0.rc5.git1.3.fc19.nodebug Always build debug kernels for rawhide. Automate building of nodebug kernels so that once a rawhide kernel has successfully completed building in koji, the same kernel gets rebuilt as a nodebug kernel. Check on the order of hourly.