[isabelle-dev] [Fwd: SourceForge.net CVS Migration and Downtime Announcement]

[Tobias Nipkow]

I can live with cvs.

Tobias

Gerwin Klein schrieb:
> Looks like the AFP cvs will be down for most of the day today.
> 
> While we're at it: what is the general feeling towards migrating the AFP
> to svn?
> 
> (Mercurial would be nicer, but sourceforge offers only CVS and SVN).
> 
> pro: more flexible, renaming of directories, better handling of branches,
>      "atomic" commits
> con: we need to migrate
> 
> We would not lose any version history.
> 
> Cheers,
> Gerwin
> 
> ------------------------------------------------------------------------
> 
> Betreff:
> SourceForge.net CVS Migration and Downtime Announcement
> Von:
> "SourceForge.net Team" <noreply at sourceforge.net>
> Datum:
> Mon, 29 Sep 2008 17:24:46 UT
> An:
> kleing at cse.unsw.edu.au
> 
> An:
> kleing at cse.unsw.edu.au
> 
> 
> Hello,
> 
> This message is being sent to all project administrators for
> SourceForge.net-hosted projects since the majority of projects on the site
> are opted-in for CVS service use. If your project is not actually using
> CVS, you can turn off this feature via the CVS page under the Admin menu
> option on your project pages on the SourceForge.net site (after
> logging-in).
> 
> On 2008-09-30 (Tuesday), project CVS service will be taken offline at 17:00
> UTC for not more than 8 hours to permit the migration of service to the new
> Chicago datacenter. Servers have been prepared and locally tested already;
> the migration event will be used to copy data deltas from the old
> datacenter to the new, and cutover CVS service DNS to point at the new
> servers. During this migration window read-only pserver-based CVS access,
> SSH-based developer CVS access, ViewVC web-based repository access for CVS,
> and other CVS-related facilities will be completely offline. CVS is the
> final major SourceForge.net service left to be migrated to our new
> California datacenter.
> 
> If you have any follow-up questions or concerns, please submit a new
> Support Request at: https://sourceforge.net/projects/alexandria/support/
> 
> Thank you,
> 
> Jacob Moorman
> Director of Operations, SourceForge.net 
> 
> 
> ----------------------------------------------------------------------
> 
> This message was sent on behalf of SourceForge.net based on
> the existence of your user account on our site.
> 
> To unsubscribe from future mailings, login to the SourceForge.net site
> and request account removal at:
> http://sourceforge.net/account/remove_account.php
> 
> Or contact us by postal mail at:
> Attn:  SourceForge.net Legal Services - Account Removal
> SourceForge, Inc.
> 650 Castro Street, Suite 450
> Mountain View, CA  94041
> 
> Unsubscribe requests will be processed within 10 days of receipt. 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev