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