Maybe a few days of slow down, but possibly not even that. Greg KH will take over as he already does when Linus is on vacation, maybe a bit slowdown for a few days until it is officially decided (although I don’t know who it would be up to decide such a thing, actually).