Pull requests - ober/jerboa-db - Jerboa Git

ober/jerboa-db

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New pull request

Pin Jerboa v0.13.2 for core API gate

version-policy / required (pull_request) Failing after 3m42s

Details

required-ci / required (pull_request) Failing after 3m42s

Details

#7 by ober was closed 2026-09-25 00:45:47 -04:00

docs: add mandatory checkout hygiene policy to AGENTS.md

required-ci / required (pull_request) Failing after 3m51s

Details

version-policy / required (pull_request) Failing after 3m51s

Details

#5 by ober was merged 2026-09-12 21:20:01 -04:00

docs: fix fj CLI syntax in AGENTS.md

required-ci / required (pull_request) Failing after 3m47s

Details

version-policy / required (pull_request) Failing after 3m44s

Details

#4 by ober was merged 2026-09-12 20:49:33 -04:00

fix: fsync db durability directories

version-policy / required (pull_request) Successful in 3m47s

Details

required-ci / required (pull_request) Successful in 4m57s

Details

#3 by ober was merged 2026-09-19 16:35:44 -04:00

AGENTS.md: work from pristine origin copies; always check CI/CD after creating a PR

version-policy / required (pull_request) Failing after 7s

Details

required-ci / required (pull_request) Failing after 19s

Details

#2 by ober was merged 2026-08-05 13:51:12 -04:00

Document local mine repository authority

required-ci / required (pull_request) Failing after 37s

Details

version-policy / required (pull_request) Failing after 36s

Details

#1 by ober was merged 2026-08-03 21:36:49 -04:00