ober/jerboa-jmap
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Add Android mail search and metadata-only sync #11

Merged
ober merged 3 commits from feature/android-mail-search-sync into main 2026-08-14 18:01:23 -04:00
Conversation 0 Commits 3 Files changed 5 +5 -5
ober commented 2026-08-10 12:41:58 -04:00
Owner
Copy link

Adds local Android mailbox search and tightens incremental sync so known updated messages refresh metadata without redownloading decrypted blobs.\n\nVerification:\n- jerboa_verify support/android/app.ss\n- keyed Android JNI rebuild with dns2 jsmtp private key\n- generated Android project assembleDebug via verified Gradle 8.13\n- emulator fetch/decrypt inbox from dns2\n- emulator search apkcache -> 1/11 result\n- emulator send to ober@mauthesis.com queued c0daa4c154a02b1309428983ab8473ca and jsmtp delivered it\n- emulator refresh fetched inbox 11 -> 12 and search marker -> 1/12\n- make binary

Adds local Android mailbox search and tightens incremental sync so known updated messages refresh metadata without redownloading decrypted blobs.\n\nVerification:\n- jerboa_verify support/android/app.ss\n- keyed Android JNI rebuild with dns2 jsmtp private key\n- generated Android project assembleDebug via verified Gradle 8.13\n- emulator fetch/decrypt inbox from dns2\n- emulator search apkcache -> 1/11 result\n- emulator send to ober@mauthesis.com queued c0daa4c154a02b1309428983ab8473ca and jsmtp delivered it\n- emulator refresh fetched inbox 11 -> 12 and search marker -> 1/12\n- make binary
Add Android mail search and metadata-only sync
All checks were successful
version-policy / required (pull_request) Successful in 5s
Details
required-ci / required (pull_request) Successful in 7m40s
Details
105417b22e
Resolve Android search sync conflicts
Some checks failed
version-policy / required (pull_request) Successful in 17s
Details
required-ci / required (pull_request) Has been cancelled
Details
5a4aae91d1
Merge main into Android search sync
All checks were successful
version-policy / required (pull_request) Successful in 18s
Details
required-ci / required (pull_request) Successful in 9m56s
Details
6c84f240b0
ober merged commit 077517b8b5 into main 2026-08-14 18:01:23 -04:00
ober referenced this pull request from a commit 2026-08-14 18:01:24 -04:00
Merge pull request #11
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/jerboa-jmap!11
No description provided.