Closed spenserblack closed 4 years ago
Filters: is:merged and is:unmerged. All merged PRs are closed, but not all closed PRs are merged. All open PRs are unmerged, but not all unmerged PRs are open.
is:merged
is:unmerged
Filters:
is:merged
andis:unmerged
. All merged PRs are closed, but not all closed PRs are merged. All open PRs are unmerged, but not all unmerged PRs are open.