The comment was also made over 5 years ago. GitHub PRs have improved since then, though he may still find them deficient.