$ git log -1 ci-WIP -- public-inbox.cgi found last record of `public-inbox.cgi' in the following commit: 052f26f3 move executables to script/ directory (2016-02-27)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git