coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Migration of the Coq official source repository on gforge (from svn to git)
Chronological Thread
- From: Pierre Letouzey <pierre.letouzey AT inria.fr>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Migration of the Coq official source repository on gforge (from svn to git)
- Date: Mon, 4 Nov 2013 20:31:31 +0100 (CET)
Dear coq-clubbers,
I'd like to to inform you that a migration of the Coq official source
repository
is underway, and will happen next ** Friday 15 November ** if all goes well.
On this date, the current svn repository on gforge.inria.fr will be
discontinued,
and replaced by a git archive on the same server. After this transition,
the following command will allow anonymous access to the coq sources:
git clone git://scm.gforge.inria.fr/coq/coq.git
More details could be found in today's announce on the coq-dev list [1] or in
cocorico's dedicated wiki page [2]. In particular, if you're already using
an existing git mirror of the coq sources (either the one on gforge or the one
on github), this migration should normally induce very little disruption
(just a url change in the case of the gforge mirror).
Best regards,
Pierre Letouzey
[1] https://sympa.inria.fr/sympa/arc/coqdev/2013-11/msg00023.html
[2] http://coq.inria.fr/cocorico/MigrationGit
- [Coq-Club] Migration of the Coq official source repository on gforge (from svn to git), Pierre Letouzey, 11/04/2013
Archive powered by MHonArc 2.6.18.