Stéphane Glondu <glondu@debian.org> writes: Can you publish the git repo elsewhere meanwhile? you can download the tar ball of my hol-light git directory at http://askra.de/hol-light-git.tgz . I know this is not the right way to do it, but I don't have the time for reading about bare repositories right now. Bye, Hendrik