PRChecker2

Analyse a GitHub public PR to check for errors.