$ git log -1 HEAD -- public-inbox-cgi found last record of `public-inbox-cgi' in the following commit: 6e4654d5 cgi: rename to have .cgi suffix (2014-04-12)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git