[web] allow_push = * push_ssl = true [paths] default = /daten/hg/meinCode