$ git log -1 HEAD -- ci/profiles.sh found last record of `ci/profiles.sh' in the following commit: 681db9d7 ci/profiles: rewrite in Perl (2023-09-09)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git