From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Sat, 6 Feb 2016 16:12:39 +0100
Subject: [Cocci] The Coccinelle repository on GitHub
In-Reply-To: <20160205202627.GA9705@pl-59055.rocqadm.inria.fr>
References: <20160205202627.GA9705@pl-59055.rocqadm.inria.fr>
Message-ID: <56B60D67.3080802@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> 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

Do try to indicate that the previous GitHub repository was not really compatible
with the repository for the complete software development history?

Are there any chances to achieve that a command like "git checkout master
&& git pull" will also work without merge conflicts (if the suggested fresh
software copy would be omitted)?

Regards,
Markus