Repository navigation
feat: record HEAD at creation, heal a dangling HEAD on push, admin route to move it - #99
Open
jonasgrosch wants to merge 4 commits into
Open
jonasgrosch wants to merge 4 commits into
jonasgrosch wants to merge 4 commits into
Commits
Commits on Sep 30, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted