How about get to know your team and it becomes very obvious who is more productive.

If you need a metric for, say, large teams, how about: # PRs x level of effort, + bonus points for being useful outside of code.

Great engineers are like a 5'10" [attractiveness redacted] [hair color redacted] [gender redacted]; it's very obvious, isnt it??