$ git log -1 ci-WIP -- lib/PublicInbox/Filter.pm found last record of `lib/PublicInbox/Filter.pm' in the following commit: 975a1b17 mda: hook up new filter functionality (2016-06-15)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git