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.