From mboxrd@z Thu Jan  1 00:00:00 1970
From: Sebastien.Hinderer@inria.fr (=?utf-8?Q?S=C3=A9bastien?= Hinderer)
Date: Fri, 5 Feb 2016 21:26:27 +0100
Subject: [Cocci] The Coccinelle repository on GitHub
Message-ID: <20160205202627.GA9705@pl-59055.rocqadm.inria.fr>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

Dear all,

This is to announce a change regarding the Coccinelle repository on GitHub.

As you may know, so far this repository only contained the Coccinelle
releases and did not reflect the precise development history.

This has now changed. The repository on GitHub is now a mirror of the main
developemnt repository.

For those of you who were downloading Coccinelle from GitHub, we recommaend
that you remove your current clone of the GitHub repository and do a fresh

git clone https://github.com/coccinelle/coccinelle.git

Alternatively, if you only need to download and build new versions
of Coccinelle as they are released, you can also just download the
source code of each release you are interested in from
Coccinelle's web site

http://coccinelle.lip6.fr

S?bastien.