{"push_id":737518749,"size":1,"distinct_size":1,"ref":"refs/heads/inductive","head":"b36d97b9dda8dc765706058e38ce12c1bd0b7552","before":"d37600a3be713ba68496ae2ac946a9e6d738ea9b","commits":[{"sha":"b36d97b9dda8dc765706058e38ce12c1bd0b7552","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"grinding through populate minor premises","distinct":true,"url":"https://api.github.com/repos/leanprover/tc/commits/b36d97b9dda8dc765706058e38ce12c1bd0b7552"}]}