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 -----
 repo-pramantha-git/repos.conf/pramantha.conf | 5 +++++
 2 files changed, 5 insertions(+), 5 deletions(-)
 delete mode 100644 group-base/repos.conf/pramantha.conf
 create mode 100644 repo-pramantha-git/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
diff --git a/repo-pramantha-git/repos.conf/pramantha.conf b/repo-pramantha-git/repos.conf/pramantha.conf
new file mode 100644
index 0000000..7b3c3e8
--- /dev/null
+++ b/repo-pramantha-git/repos.conf/pramantha.conf
@@ -0,0 +1,5 @@
+[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