Method pushRepo

botloader-vscode/src/workspacemanager.ts:101–106

(repo: BotloaderSourceControl)

    }

    async pushRepo(repo: BotloaderSourceControl) {
        const guildSpace = this.openGuildWorkspaces.find(e => e.folder.toString() === repo.rootUri?.toString());
        if (guildSpace) {
            await guildSpace.pushAll();
        }
    }

    dispose() {
        for (let dis of this.otherDisposables) {