Skip to content

chore: ignore local poro-findings.pdf export; record TODO #9 done - #62

Merged
MikkoNumminen merged 2 commits into
masterfrom
chore/housekeeping-gitignore-todo
Jul 16, 2026
Merged

chore: ignore local poro-findings.pdf export; record TODO #9 done#62
MikkoNumminen merged 2 commits into
masterfrom
chore/housekeeping-gitignore-todo

Conversation

@MikkoNumminen

Copy link
Copy Markdown
Owner

Handles the two uncommitted strays in the working tree.

No code touched. Queued for your approval — not merged.

… done

The canonical Poro findings are docs/poro-findings.md; the root PDF is a
personal export, so gitignore it rather than track a binary. Also commits the
already-recorded TODO item #9 (rebuild+restart to pick up the #58/#59
demoted-content fixes, verified live 2026-07-15).
Bundled SQLite is now 3.50.4 (>= 3.50.2), clearing GHSA-2m69-gcr7-jv3q.
@MikkoNumminen
MikkoNumminen merged commit 3453e47 into master Jul 16, 2026
3 checks passed
@MikkoNumminen
MikkoNumminen deleted the chore/housekeeping-gitignore-todo branch July 16, 2026 15:37
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.

1 participant