From 7136fcfd9fc5184fcced114bd1dc0f47e41faa02 Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Wed, 28 May 2025 11:58:10 +0200
Subject: [PATCH] allow arguments for gitea.py to specify repo

---
 gitea.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gitea.py b/gitea.py
index 6848091..a774903 100644
--- a/gitea.py
+++ b/gitea.py
@@ -121,6 +121,8 @@ def change_to_gitea(doit, *repos):
 if __name__ == '__main__':
     if sys.argv[-1] == 'y':
         change_to_gitea(True)
+    elif len(sys.argv) > 1:
+        change_to_gitea(True, *sys.argv[1:])
     else:
         change_to_gitea(False)
         print(f'\nUsage: python gitea.py y   # to update repos {" ".join(GITEA_REPOS)}\n')