Git - provide correct editor title for resources under the "All Changes" node (#194273)

This commit is contained in:
Ladislau Szomoru
2023-09-27 12:05:58 +02:00
committed by GitHub
parent 8ef15195d4
commit 3a0b6baa61
4 changed files with 24 additions and 3 deletions

View File

@@ -1606,6 +1606,10 @@ export class Repository implements Disposable {
return await this.run(Operation.RevList, () => this.repository.getCommitCount(range));
}
async revParse(ref: string): Promise<string | undefined> {
return await this.run(Operation.RevParse, () => this.repository.revParse(ref));
}
async reset(treeish: string, hard?: boolean): Promise<void> {
await this.run(Operation.Reset, () => this.repository.reset(treeish, hard));
}