git rename: missing update

This commit is contained in:
Joao Moreno
2017-11-10 17:39:20 +01:00
parent ffefea2053
commit 2fedc4c253
+1 -1
View File
@@ -209,7 +209,7 @@ export class CommandCenter {
try {
if (ref === '~') {
const uriString = uri.toString();
const [indexStatus] = repository.indexGroup.resourceStates.filter(r => r.original.toString() === uriString);
const [indexStatus] = repository.indexGroup.resourceStates.filter(r => r.resourceUri.toString() === uriString);
ref = indexStatus ? '' : 'HEAD';
}