ober/jerboa-top
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions
Labels Milestones
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
0 Open 5 Closed 5 All
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
ober
docs: add mandatory checkout hygiene policy to AGENTS.md
Some checks failed
required-ci / required (pull_request) Failing after 4m7s
Details
version-policy / required (pull_request) Failing after 3m44s
Details
#5 by ober was merged 2026-09-12 21:23:21 -04:00
main
docs: fix fj CLI syntax in AGENTS.md
Some checks failed
required-ci / required (pull_request) Failing after 4m2s
Details
#4 by ober was merged 2026-09-12 20:48:43 -04:00
main
fix: pass --unsafe-prelude to import-check
Some checks failed
version-policy / required (pull_request) Failing after 4s
Details
required-ci / required (pull_request) Failing after 24s
Details
#3 by ober was merged 2026-08-06 22:19:39 -04:00
main
AGENTS.md: work from pristine origin copies; always check CI/CD after creating a PR
Some checks failed
required-ci / required (pull_request) Failing after 2s
Details
version-policy / required (pull_request) Failing after 3s
Details
#2 by ober was merged 2026-08-05 13:52:27 -04:00
main
Document local mine repository authority
Some checks failed
required-ci / required (pull_request) Failing after 25s
Details
version-policy / required (pull_request) Failing after 40s
Details
#1 by ober was merged 2026-08-03 21:38:24 -04:00
main