Hi, Charles Plessy wrote: > Also, GitHub being proprietary software, it would be great to have a mirror on > a platform running Free software. Done. :) http://repo.or.cz/w/debiancodesearch.git git://repo.or.cz/debiancodesearch.git repo.or.cz runs Girocco from <http://repo.or.cz/w/girocco.git>. Anyone can mirror public repositories there. Regards, Jonathan