Skip to content

chore: sync develop with main - #538

Merged
chodeus merged 1 commit into
developfrom
main
Aug 14, 2026
Merged

chore: sync develop with main#538
chodeus merged 1 commit into
developfrom
main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

@coderabbitai ignore

develop has drifted behind main (releases, fixes, dependency bumps). Do not merge this PR — it reports the drift, it does not fix it.

develop requires branches be up to date, and head:main can never satisfy that without pulling develop's extension files into main, which the branch invariant forbids. Squash or rebase would also leave main unreachable from develop, so this workflow would just open another PR next push.

Sync locally instead:

git checkout develop && git merge origin/main && git push

Then verify git diff main develop is added extension files plus deploy/docker/Dockerfile only. GitHub marks this PR merged on its own once develop contains main's tip. Opened by the sync-develop workflow.

* refactor(db): media_cache splits into domain mixins

Edit-history, metadata-completeness and library-stats move to sibling
modules as mixins; MediaCache keeps its exact class surface (dir() is
byte-identical against main) and every import path re-exports unchanged.
media_cache.py: 1791 -> 1254 lines. Move-only — each block byte-identical
to its origin.

* refactor(db): one and_where helper for the detailed-stats clause splicing

Nine sites repeated `where + (" AND" if where else "WHERE")`, each
having to stay consistent with the where built above them. Emitted SQL is
byte-identical — all 32 queries get_detailed_stats issues captured before
and after, diff empty.
@chodeus
chodeus merged commit 4a0a2fe into develop Aug 14, 2026
11 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.

1 participant