I don't think he's talking about "git pull" from a central repo, but instead a "git pull <url-to-linus'-private-repo>". But I can also imagine it being useful

I don't think he's talking about "git pull" from a central repo, but instead a "git pull <url-to-linus'-private-repo>". But I can also imagine it being useful for everybody to pull the code from the last release and work on it, before a single person pulls the code, merges, and commits it to the central repo.