3 ms·
The comment was also made over 5 years ago. GitHub PRs have improved since then, though he may still find them deficient.
by pmh 9y ago
The comment was also made over 5 years ago. GitHub PRs have improved since then, though he may still find them deficient.