Function isRepoDeleted

agent/agentgit/agentgit.go:307–326

isRepoDeleted returns true when the repo root directory or its .git entry no longer represents a valid git repository. This distinguishes a genuine repo deletion from a transient scan error (e.g. lock contention). It handles three deletion cases: 1. The repo root directory itself was removed. 2. Th

(gitBin string, repoRoot string)

//     `git rev-parse --git-dir` fails because the referenced
//     directory is gone.
func isRepoDeleted(gitBin string, repoRoot string) bool {
	if _, err := os.Stat(repoRoot); os.IsNotExist(err) {
		return true
	}
	gitPath := filepath.Join(repoRoot, ".git")
	fi, err := os.Stat(gitPath)
	if os.IsNotExist(err) {
		return true
	}
	// If .git is a regular file (worktree or submodule), the actual
	// git object store lives elsewhere. Validate that the target is
	// still reachable by running git rev-parse.
	if err == nil && !fi.IsDir() {
		cmd := exec.CommandContext(context.Background(), gitBin, "-C", repoRoot, "rev-parse", "--git-dir")
		if err := cmd.Run(); err != nil {
			return true
		}
	}
	return false
}

// findRepoRoot uses `git rev-parse --show-toplevel` to find the
// repository root for the given path.