GHArchive only ships as hourly dumps of everything, so I built a stream-filter to pull one repo's history without holding terabytes