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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html