Hi, is there a problem with our central git repositrory ? % checkout-d-o-m-git-repo bibex2html I: cloning remote repository Initialized empty Git repository in /home/rt/debian/packages/pkg-ocaml-maint.git/bibex2html/.git/ fatal: '//git/pkg-ocaml-maint/packages/bibex2html.git' does not appear to be a git repository fatal: The remote end hung up unexpectedly -Ralf.