Oops. I forgot to give the URL. It is:http://repo.or.cz/w/smatch.gitYou can clone the repository with:git clone git://repo.or.cz/smatch.gitregards,dan carpenter