diff options
Diffstat (limited to 'group-base/repos.conf/pramantha.conf')
-rw-r--r-- | group-base/repos.conf/pramantha.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/group-base/repos.conf/pramantha.conf b/group-base/repos.conf/pramantha.conf new file mode 100644 index 0000000..5f63a45 --- /dev/null +++ b/group-base/repos.conf/pramantha.conf @@ -0,0 +1,6 @@ +[pramantha] +auto-sync = no +location = /var/overlays/pramantha +sync-type = git +clone-depth = 0 +sync-uri = https://git.vehk.de/pramantha.git |