Question about used Workflows.

Dear Git developers and contributors,

I was wondering what kind of workflow the Git project itself uses. From
what I gather much of the development takes place using the list, and
patches sent by mail. Do any of the core contributers maintain public
developer repos? And how many developers on average have push privileges
to http://git.kernel.org/?p=git/git.git;a=summary?

thanks

Valentin