Hi all,

I am tending to disable the svn-git mirroring I am doing of luatex from
svn to github, since now since considerable time the svn server seems to
be broken:

> Can't create session: Unable to connect to a repository at URL 'https://serveur-svn.lri.fr/svn/modhel/luatex': Unexpected server error 500 'Proxy Error' on
> '/svn/modhel/luatex' at /usr/share/perl5/Git/SVN.pm line 148.

Any comments?

And btw, is it really still necessary to use this rather unconventional
development space ...?