We've added PR stats in the Team Progress and the Developer Progress features. Learn more about Team Progress and Developer Progress.
If you want to hide developers' names from other users on the platform, you can do it by following this guide.
We've just launched our integration with Azure DevOps Server. Learn more about integrating Azure DevOps Server here.