()
| 93 | } |
| 94 | |
| 95 | async pushOneRepo() { |
| 96 | if (this.openGuildWorkspaces.length > 0) { |
| 97 | await this.openGuildWorkspaces[0].pushAll(); |
| 98 | } |
| 99 | } |
| 100 | |
| 101 | async pushRepo(repo: BotloaderSourceControl) { |
| 102 | const guildSpace = this.openGuildWorkspaces.find(e => e.folder.toString() === repo.rootUri?.toString()); |