[simoncion]

It might be the case that "number of PRs" is roughly as good a metric as "number of lines of code produced".