From ed5f4cfb235d46fbd267d3db4c450aaed630ad00 Mon Sep 17 00:00:00 2001 From: ludeeus Date: Wed, 9 Jul 2025 05:38:01 +0000 Subject: [PATCH] Add remove_archived_repo helper script --- scripts/remove_archived_repo | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 scripts/remove_archived_repo diff --git a/scripts/remove_archived_repo b/scripts/remove_archived_repo new file mode 100755 index 0000000..eb90425 --- /dev/null +++ b/scripts/remove_archived_repo @@ -0,0 +1,11 @@ +#!/usr/bin/env bash + +if [ -z "$1" ]; then + read -p 'Repository: ' repository +else + repository="$1" +fi + +echo $repository + +python3 $(dirname "$0")/remove_repo.py "$repository" "remove" "Repository is archived" "N/A" || exit 0 \ No newline at end of file