Merge branch 'dev' into opentui

This commit is contained in:
Dax Raad 2025-10-29 11:28:04 -04:00
commit 2fd2fa1823

View file

@ -35,7 +35,6 @@ export namespace SessionSummary {
.filter((x) => x.type === "patch")
.flatMap((x) => x.files),
)
console.log(files)
const diffs = await computeDiff({ messages: input.messages }).then((x) =>
x.filter((x) => files.has(x.file)),
)