(server: RuntimeServer | undefined, repoId: string)
| 171 | } |
| 172 | |
| 173 | function notifyRepoChanged(server: RuntimeServer | undefined, repoId: string): void { |
| 174 | if (!server) return |
| 175 | publishOpenADECompanionEvent(server, { |
| 176 | type: "repo_changed", |
| 177 | repoId, |
| 178 | at: new Date().toISOString(), |
| 179 | }) |
| 180 | } |
| 181 | |
| 182 | function notifyRepoDeleted(server: RuntimeServer | undefined, repoId: string): void { |
| 183 | if (!server) return |
no test coverage detected