git: merge resources should return undefined original resource

related to #109022
This commit is contained in:
João Moreno
2020-11-03 14:33:09 +01:00
parent 5b3b6b8026
commit 7936093c33

View File

@@ -864,6 +864,12 @@ export class Repository implements Disposable {
return;
}
const path = uri.path;
if (this.mergeGroup.resourceStates.some(r => r.resourceUri.path === path)) {
return undefined;
}
return toGitUri(uri, '', { replaceFileExtension: true });
}