Maybe we can have both: a core-updates:'core with a sufficient priority so that it is built often enough, and then a core-updates:'all with the lowest priority (batch) so that it does not steal any processing power from the other more important stuff...
-- Vincent Legoll
