(server: RuntimeServer | undefined, repoId: string)
| 180 | } |
| 181 | |
| 182 | function notifyRepoDeleted(server: RuntimeServer | undefined, repoId: string): void { |
| 183 | if (!server) return |
| 184 | publishOpenADECompanionEvent(server, { |
| 185 | type: "repo_deleted", |
| 186 | repoId, |
| 187 | at: new Date().toISOString(), |
| 188 | }) |
| 189 | } |
| 190 | |
| 191 | function notifyWorkingTasks(server: RuntimeServer | undefined): void { |
| 192 | if (!server) return |
no test coverage detected