Hi, SF Markus Elfring (2016/02/06 16:12 +0100): > > 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?
Absolutely. The two repositories are totally incompatible. > 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)? No chances at all. No merge possibility. The former repository needs to be deleted and the new one cloned. Not doing so would result in a big mess. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
