Wouldn't that increase the commits/dev metric, if there are fewer (highly active) devs, but a reasonably similar amount of commits? Having it drop would actual

Wouldn't that increase the commits/dev metric, if there are fewer (highly active) devs, but a reasonably similar amount of commits? Having it drop would actually mean that the Google folks had a higher-than-average number of commits of their own code (as opposed to committing for other people). Unless, of course, they were committing for folks that also worked on Mozilla without their own commit access, and that second group went away.