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 -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130310080034.GA8563@elie.Belkin