merged with devtools 1.0.1 upstream (git repo migration)

1 files changed, 0 insertions, 32 deletions

diff --git a/lib/valid-repos.sh b/lib/valid-repos.sh
deleted file mode 100644
index 9ac9639..0000000
--- a/lib/valid-repos.sh
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/hint/bash
-#
-# SPDX-License-Identifier: GPL-3.0-or-later
-:
-
-# shellcheck disable=2034
-_repos=(
-	staging
-	testing
-	core
-	extra
-	community-staging
-	community-testing
-	community
-	multilib-staging
-	multilib-testing
-	multilib
-	gnome-unstable
-	kde-unstable
-)
-
-# shellcheck disable=2034
-_build_repos=(
-	staging
-	testing
-	extra
-	multilib-staging
-	multilib-testing
-	multilib
-	gnome-unstable
-	kde-unstable
-)