Remote git repos I intend to modify to get ZoL in Debian GNU/Linux.