From 18e0dd5187d46e96b000bc570624ec1b2f1928bb Mon Sep 17 00:00:00 2001
From: sij <sij@sij.law>
Date: Fri, 17 Jan 2025 20:38:19 +0000
Subject: [PATCH] Update pull

---
 pull | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pull b/pull
index c4db57d..e940937 100755
--- a/pull
+++ b/pull
@@ -1,10 +1,10 @@
 #!/bin/bash
 
-repos_file="./repos.txt"
+REPOS_FILE="./repos.txt"
 
 # Check if the repos file exists
-if [ ! -f "$repos_file" ]; then
-    echo "Error: $repos_file does not exist in the current directory."
+if [ ! -f "$REPOS_FILE" ]; then
+    echo "Error: $REPOS_FILE does not exist in the current directory."
     exit 1
 fi
 
@@ -39,7 +39,7 @@ while IFS= read -r repo_path || [[ -n "$repo_path" ]]; do
 
     echo "Update complete for $repo_path"
     echo "----------------------------------------"
-done < "$repos_file"
+done < "$REPOS_FILE"
 
 echo "All repositories processed."