extensions/git/src/repository.ts/OperationsImpl/end
class OperationsImpl:	end(operation: Operation): void {
		this.logger.trace(`Operation end: ${operation}`);
		const count = (this.operations.get(operation) || 0) - 1;

		if (count <= 0) {
			this.operations.delete(operation);
		} else {
			this.operations.set(operation, count);
		}
	}