From 94215b6cb702a3d52db90b8708c97756c6a7f724 Mon Sep 17 00:00:00 2001
From: Lucas Wilson-Richter <lucas@wilric.me>
Date: Mon, 20 May 2024 01:27:38 +1000
Subject: [PATCH] oops

---
 repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repo b/repo
index 14d9fa2..bb3444b 100755
--- a/repo
+++ b/repo
@@ -22,7 +22,7 @@
 
 source $(dirname ${BASH_SOURCE[0]})/config.bash
 
-repos=$(find "${REPOSITORY_BASE}" -name '.git' | sed "s|${REPO_BASE}/||" | sed 's|.git$||' | sort)
+repos=$(find "${REPOSITORY_BASE}" -name '.git' | sed "s|${REPOSITORY_BASE}/||" | sed 's|.git$||' | sort)
 
 # Default to searching within github.com, because that's by far the most common
 # place for repos to be.