From b911a038481e8b30c12523309e6e26d4246c3403 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Tue, 15 Sep 2020 12:17:36 +0200
Subject: [PATCH] Correct argument amount check

--notor should not be counted in it.
---
 git-mirror.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/git-mirror.sh b/git-mirror.sh
index 234f027..4e48474 100755
--- a/git-mirror.sh
+++ b/git-mirror.sh
@@ -17,17 +17,17 @@
 set -euo pipefail
 IFS=$'\n'
 
-if [[ $# -lt 3 ]]; then
-	echo "Usage: $0 [--notor] <workdir> <leader> <follower...>"
-	exit 1
-fi
-
 tor=true
 if [[ "$1" == "--notor" ]]; then
 	tor=false
 	shift 1
 fi
 
+if [[ $# -lt 3 ]]; then
+	echo "Usage: $0 [--notor] <workdir> <leader> <follower...>"
+	exit 1
+fi
+
 cd "$1"
 
 leader="$2"