Skip to content

docs: TODO.md cross-offs for PR split#2242

Merged
robgruen merged 8 commits intomainfrom
dev/robgruen/TODO/docs
Apr 23, 2026
Merged

docs: TODO.md cross-offs for PR split#2242
robgruen merged 8 commits intomainfrom
dev/robgruen/TODO/docs

Conversation

@robgruen
Copy link
Copy Markdown
Collaborator

Consolidated TODO.md cross-offs + docuProc/pdfImporter lint for the changes landing across the split PRs.

Split from #2210.

robgruen and others added 3 commits April 22, 2026 14:09
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Copilot AI temporarily deployed to development-fork April 23, 2026 04:14 Inactive
Copilot AI temporarily deployed to development-fork April 23, 2026 04:14 Inactive
@robgruen
Copy link
Copy Markdown
Collaborator Author

@copilot resolve the merge conflicts in this pull request

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 23, 2026

@copilot resolve the merge conflicts in this pull request

Resolved in b368c25. The only conflict was in ts/examples/docuProc/src/pdfImporter.ts (between my index.put fix and main's index.addUpdate). Resolved by keeping addUpdate from main (which is the correct method in the interface) while preserving the prettier-compliant formatting.

@robgruen robgruen temporarily deployed to development-fork April 23, 2026 15:35 — with GitHub Actions Inactive
@robgruen robgruen temporarily deployed to development-fork April 23, 2026 15:35 — with GitHub Actions Inactive
@robgruen robgruen added this pull request to the merge queue Apr 23, 2026
Merged via the queue into main with commit f55576c Apr 23, 2026
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants