chore/local-mine-authority-agents-20260803 #1

Merged
ober merged 5 commits from chore/local-mine-authority-agents-20260803 into master 2026-08-03 21:38:09 -04:00
Owner

Document local mine repository authority

docs: migrate jerboa-sqlite URLs to Forgejo

docs: remove jerboa-emacs restriction

perf: decode only columns an UPDATE needs, cache literal DML metadata

Document local mine repository authority docs: migrate jerboa-sqlite URLs to Forgejo docs: remove jerboa-emacs restriction perf: decode only columns an UPDATE needs, cache literal DML metadata
Merge master and reconcile repository policies
Some checks failed
required-ci / required (pull_request) Failing after 29s
version-policy / required (pull_request) Failing after 40s
33fd04d6cb
ober scheduled this pull request to auto merge when all checks succeed 2026-08-03 21:20:42 -04:00
ober merged commit 2668680c8c into master 2026-08-03 21:38:09 -04:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
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-sqlite!1
No description provided.