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. --- repo-pramantha-git/repos.conf/pramantha.conf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 repo-pramantha-git/repos.conf/pramantha.conf (limited to 'repo-pramantha-git') 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