Changes commit PR prioritization

CHANGELOG.md

@@ -17,6 +17,7 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/) and this p
 ### Fixed
 
 - Fixes Commit Details showing incorrect actions for uncommitted changes
+- Fixes prioritization of multiple PRs associated with the same commit to choose a merged PR over others
 
 ## [12.2.2] - 2022-09-06
 

src/plus/github/github.ts

@@ -608,7 +608,7 @@ export class GitHubApi implements Disposable {
 				prs.sort(
 					(a, b) =>
 						(a.repository.owner.login === owner ? -1 : 1) - (b.repository.owner.login === owner ? -1 : 1) ||
-						(a.state === 'OPEN' ? -1 : 1) - (b.state === 'OPEN' ? -1 : 1) ||
+						(a.state === 'MERGED' ? -1 : 1) - (b.state === 'MERGED' ? -1 : 1) ||
 						new Date(b.updatedAt).getTime() - new Date(a.updatedAt).getTime(),
 				);
 			}