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

Commits

Commits on Mar 29, 2026