pr-doctor

Diagnose and fix PR issues (build, reviews, Sonar)