Integrate agent install instructions & include gitconfig.local in home git

AGENTS.md

@@ -5,3 +5,14 @@
   `. ./bin/activate-hermit`
 - Ensure your working tree is clean before committing.
 - Use `#!/bin/zsh` as the shebang for all shell scripts (not `#!/bin/bash`).
+
+## Agent installation
+
+- Agent configuration installation lives in `install-agents.sh` (extracted from `install.sh`).
+- `install.sh` sources `install-agents.sh` at the end to keep bootstrap flow readable.
+- `install-agents.sh` checks SSH access to `DOLAN_AGENTS_REPO_SSH` (default: `git@github.com:MatthewDolan/agents.git`) before cloning or running anything.
+
+## Existing `~/.agents` validation
+
+- If `~/.agents` already exists, `install-agents.sh` validates it is a git repo and that one of its remotes exactly matches `DOLAN_AGENTS_REPO_SSH`.
+- If `~/.agents` exists but is not the expected repo, installation exits with an error and prints existing remotes for diagnostics.

home/.gitconfig

@@ -70,3 +70,6 @@
 
 [http]
   cookiefile = /Users/dolan/.gitcookies
+
+[include]
+  path = ~/.gitconfig.local

install-agents.sh

@@ -0,0 +1,80 @@
+#!/bin/zsh
+set -euo pipefail
+
+install_agents_configuration() {
+  # Keep variables local so this helper can be safely sourced by install.sh.
+  local agents_repo
+  local agents_target
+  local matching_remote
+  local remote_name
+  local remote_url
+  local current_remotes
+
+  # Allow overriding the default agents repository for forks/tests.
+  agents_repo="${DOLAN_AGENTS_REPO_SSH:-git@github.com:MatthewDolan/agents.git}"
+  agents_target="${HOME}/.agents"
+
+  # If the current SSH identity cannot read the repo, skip gracefully.
+  echo "Checking SSH access to ${agents_repo}..."
+  if ! git ls-remote --exit-code "${agents_repo}" >/dev/null 2>&1; then
+    echo "No SSH access to ${agents_repo}; cannot install agent configuration."
+    return 0
+  fi
+
+  # Reuse existing checkout when present, but only after validating identity.
+  if [[ -e "${agents_target}" ]]; then
+    if [[ ! -d "${agents_target}" ]]; then
+      echo "Cannot install agent configuration: ${agents_target} exists and is not a directory."
+      return 1
+    fi
+
+    if ! git -C "${agents_target}" rev-parse --is-inside-work-tree >/dev/null 2>&1; then
+      echo "Cannot install agent configuration: ${agents_target} exists but is not a git repository."
+      return 1
+    fi
+
+    # Verify at least one configured remote points at the expected repo.
+    matching_remote=""
+    for remote_name in $(git -C "${agents_target}" remote); do
+      remote_url="$(git -C "${agents_target}" remote get-url "${remote_name}" 2>/dev/null || true)"
+      if [[ -z "${remote_url}" ]]; then
+        continue
+      fi
+
+      if [[ "${remote_url}" == "${agents_repo}" ]]; then
+        matching_remote="${remote_name}"
+        break
+      fi
+    done
+
+    # Refuse to run unknown repo code if ~/.agents points somewhere else.
+    if [[ -z "${matching_remote}" ]]; then
+      echo "Cannot install agent configuration: ${agents_target} is a git repository, but it does not match ${agents_repo}."
+      current_remotes="$(git -C "${agents_target}" remote -v || true)"
+      if [[ -n "${current_remotes}" ]]; then
+        echo "Current remotes for ${agents_target}:"
+        echo "${current_remotes}"
+      else
+        echo "Current remotes for ${agents_target}: none configured."
+      fi
+      return 1
+    fi
+
+    echo "Using existing agents repository at ${agents_target} (matched remote: ${matching_remote})..."
+  else
+    # No existing checkout, so clone the repo now that access is confirmed.
+    echo "Cloning agents repository to ${agents_target}..."
+    git clone "${agents_repo}" "${agents_target}"
+  fi
+
+  # Source the script (instead of spawning) so any exported environment
+  # changes from the agents install remain in the current shell context.
+  if [[ -f "${agents_target}/install.sh" ]]; then
+    echo "Running agent configuration install script..."
+    . "${agents_target}/install.sh"
+  else
+    echo "Cannot install agent configuration: ${agents_target}/install.sh not found."
+  fi
+}
+
+install_agents_configuration

install.sh

@@ -74,3 +74,6 @@ if [[ "${os_name}" == "Darwin" ]]; then
   defaults write com.apple.finder AppleShowAllFiles TRUE
   killall Finder
 fi
+
+# Keep agents bootstrap logic in a dedicated script for readability.
+. "${script_dir}/install-agents.sh"