A few days ago we had to take the hal.cs off the network. I have saved
the cil svn repository, and I was looking for another home for it.

Gabriel, I made you administrator for the sourceforge project.

George.

On Fri, Sep 2, 2011 at 2:11 AM, Gabriel Kerneis <kern...@pps.jussieu.fr> wrote:
> On Thu, Sep 01, 2011 at 06:45:11PM +0400, Pavel Shved wrote:
>> The access to the SVN repository on hal.cs.berkeley.edu has disappeared
>> around 17-18th of August.
>> $ svn checkout
>> svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil
>> svn: Can't connect to host 'hal.cs.berkeley.edu': No route to host
>
> Hmm, not very surprising.
>
>> Is the repository gone forever?
>
> That's possible.  Upstream has been increasingly unresponsive over the course
> of the last years.  Three administrators on the sourceforge page, two of them
> left Berkeley to work at Google (D. Gay and M. Harren).
>
> George, given your lack of time to maintain this old project, do you wish to
> drop CIL and make my mirror the official repository?  In that case, would you
> mind make me a sourceforge administrator so that I can make the necessary
> redirections?  It would also make it possible to release a new CIL version, 
> the
> latest one has a lot of bugs.
>
>> Or is our host banned (we had a nightly mirroring script that updated from
>> the repository each night)?
>
> No, the repository in unreachable here too (looks like hal is down, it doesn't
> ping anymore).
>
> You obviously found my git mirror, but for users who might have missed it:
>
>        git clone --recursive git://github.com/kerneis/cil.git
>
> Best,
> --
> Gabriel Kerneis
>

------------------------------------------------------------------------------
Special Offer -- Download ArcSight Logger for FREE!
Finally, a world-class log management solution at an even better 
price-free! And you'll get a free "Love Thy Logs" t-shirt when you
download Logger. Secure your free ArcSight Logger TODAY!
http://p.sf.net/sfu/arcsisghtdev2dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to