Method pushUri

botloader-vscode/src/guildspace.ts:245–253

(uri: vscode.Uri)

    }

    async pushUri(uri: vscode.Uri) {
        await vscode.window.withProgress({ location: vscode.ProgressLocation.SourceControl }, async progress => {
            let index = await this.readIndexFile();
            await this.pushSingleChange(uri, index);

            await this.syncWorkspace();
            await this.apiClient.reloadGuildVm(index.guild.id);
        });
    }

    async pushAll() {
        await vscode.window.withProgress({ location: vscode.ProgressLocation.SourceControl }, async progress => {