{"push_id":667276187,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4ba0ea9acf28bccbe419b227584a63209d036c2f","before":"05e763ce4f07b2ada4c74948b941a1954af1fe94","commits":[{"sha":"4ba0ea9acf28bccbe419b227584a63209d036c2f","author":{"email":"aea54e98d5955ce7782e0e0e08db1a26110243e5@inria.fr","name":"Kaustuv Chaudhuri"},"message":"Improving factoring: no more loops","distinct":true,"url":"https://api.github.com/repos/chaudhuri/maetning/commits/4ba0ea9acf28bccbe419b227584a63209d036c2f"}]}