Version control is different since it’s collaboration with the rest of the org.

The rest: if they are just as productive as others, I would not care one bit. Tool use as a metric is just bad.