From ab04b0088353cd338e20d03eaf7ec9ffd843b2a2 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Sun, 5 Sep 2021 15:02:47 +0200
Subject: repo-pramantha-git: Move pramantha repository from group-base

Since we now have multiple repo-* profiles, it only makes sense to treat
pramantha as one as well.
---
 group-base/repos.conf/pramantha.conf | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 group-base/repos.conf/pramantha.conf

(limited to 'group-base/repos.conf/pramantha.conf')

diff --git a/group-base/repos.conf/pramantha.conf b/group-base/repos.conf/pramantha.conf
deleted file mode 100644
index 7b3c3e8..0000000
--- a/group-base/repos.conf/pramantha.conf
+++ /dev/null
@@ -1,5 +0,0 @@
-[pramantha]
-location = /var/portage/repos/pramantha
-sync-type = git
-clone-depth = 0
-sync-uri = https://git.oriole.systems/pramantha
-- 
cgit v1.2.3-2-gb3c3