[Texmacs-dev] What happened to the git mirror at gitorius ?

[Jeremy Henty]

I  used to  happily pull  the TeXmacs  source from  the git  mirror at
gitorious but recently it started failing:

    $ git remote update --prune
    Fetching origin
    fatal: Could not read from remote repository.

    Please make sure you have the correct access rights
    and the repository exists.
    error: Could not fetch origin

    $ git config remote.origin.url
    git://gitorious.org/texmacs/texmacs.git

Is it still maintained?

Regards,

Jeremy Henty