That has the same content as git://repo.or.cz/tinycc.git