From 42c75befe27a3363c4f4d4f9eea8e98f9c4db7b7 Mon Sep 17 00:00:00 2001
From: "E. S." <the@rootless.one>
Date: Sun, 14 Jan 2024 08:31:28 +0000
Subject: [PATCH] rename --full-web and --full-files to --web and --files
 accordingly

---
 get-refs.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/get-refs.sh b/get-refs.sh
index 566c312..3b59f8f 100755
--- a/get-refs.sh
+++ b/get-refs.sh
@@ -8,17 +8,17 @@ FULL_WEB=0
 FULL_FILES=0
 
 usage() {
-    echo "usage: $0 [--full-web] [--full-files] [-h|--help]"
+    echo "usage: $0 [--web] [--files] [-h|--help]"
 }
 
 # Parse command-line arguments
 while [ "$#" -gt 0 ]; do
     case "$1" in
-        --full-web)
+        --web)
             FULL_WEB=1
             shift
             ;;
-        --full-files)
+        --files)
             FULL_FILES=1
             shift
             ;;