summaryrefslogtreecommitdiffstats
path: root/repo-pramantha-git (unfollow)
Commit message (Collapse)AuthorLines
2021-09-05repo-pramantha-git: Move pramantha repository from group-baseWolfgang Müller-0/+5
Since we now have multiple repo-* profiles, it only makes sense to treat pramantha as one as well.