From 003a26a0d3f65e3a6edd02dca197938414616fbf Mon Sep 17 00:00:00 2001
From: Joshua Gilman <joshuagilman@gmail.com>
Date: Tue, 18 Aug 2026 17:39:41 -0700
Subject: [PATCH] chore: bootstrap the AWS repository

Make the private AWS infrastructure repository a first-class independent checkout beside networking.
---
 .gitignore |  1 +
 AGENTS.md  |  2 +-
 init.sh    | 27 +++++++++++++++++----------
 3 files changed, 19 insertions(+), 11 deletions(-)

diff --git a/.gitignore b/.gitignore
index cee3f56..0e6c75f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 .journal/
 .wt/
 /networking/
+/aws/
 
 # Moon
 .moon/cache/
diff --git a/AGENTS.md b/AGENTS.md
index 83aaa0c..8b19f1e 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -14,7 +14,7 @@ installed correctly.
 
 ## Sub-repository workflow
 
-This is a meta repository. Directories cloned by `init.sh`, such as `networking/`, are independent Git repositories. They are ignored here and are not submodules.
+This is a meta repository. Directories cloned by `init.sh`, including `networking/` and `aws/`, are independent Git repositories. They are ignored here and are not submodules.
 
 For work inside a sub-repository:
 
diff --git a/init.sh b/init.sh
index 8b95d6b..bf8836f 100755
--- a/init.sh
+++ b/init.sh
@@ -2,16 +2,23 @@
 set -euo pipefail
 
 root="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-target="$root/networking"
 
-if [[ -d "$target/.git" ]]; then
-  echo "networking is already cloned"
-  exit 0
-fi
+clone_repo() {
+  local name="$1"
+  local target="$root/$name"
 
-if [[ -e "$target" ]]; then
-  echo "error: $target exists but is not a Git repository" >&2
-  exit 1
-fi
+  if [[ -d "$target/.git" ]]; then
+    echo "$name is already cloned"
+    return
+  fi
 
-git clone git@github.com:GilmanLab/networking.git "$target"
+  if [[ -e "$target" ]]; then
+    echo "error: $target exists but is not a Git repository" >&2
+    exit 1
+  fi
+
+  git clone "git@github.com:GilmanLab/$name.git" "$target"
+}
+
+clone_repo networking
+clone_repo aws