Master PR merge quality

See also:

Avoidable breakages

PR merges

Qualified green merges

These are PRs for which Dr. CI gave a "qualified" green score, meaning that all of the CI failures were not the user's fault. This may be due to jobs that were broken upstream or failures that are inferred as flaky.

Ideally, the "Dr. CI commented or withheld" count should match the "Total PR count". A Dr. CI comment may be withheld if the PR author has opted-out of Dr. CI comments or if the PR did not ever experience a failed CI job.

by See project README for details.