[pramantha] auto-sync = no location = /var/overlays/pramantha sync-type = git clone-depth = 0 sync-uri = https://git.vehk.de/pramantha.git