> 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
