Skip to content

Restore .git pointer file backup for agents that delete it#145

Merged
that-github-user merged 1 commit into
mainfrom
fix-136-git-file-restore
Mar 29, 2026
Merged

Restore .git pointer file backup for agents that delete it#145
that-github-user merged 1 commit into
mainfrom
fix-136-git-file-restore

Restore .git pointer file backup for agents that delete it

204341c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
Analyze
succeeded Mar 29, 2026 in 1m 6s