$ git log -1 HEAD -- lib/PublicInbox/LeiPruneMailSync.pm found last record of `lib/PublicInbox/LeiPruneMailSync.pm' in the following commit: 1323196d lei refresh-mail-sync: replace prune-mail-sync (2021-09-16)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git