{"push_id":718152762,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3df44417fefc048ba492dd2bf13b6d9822cafa11","before":"8c971c9f9f496b1046bbd6efb50df3e60e0be90c","commits":[{"sha":"74271a983ad95e066fc30ca8e943649a70b19877","author":{"email":"80652cfe0fe26239cf7dbc26aa77f14f7900e726@gmail.com","name":"stupidsing"},"message":"remove duplicate clause","distinct":true,"url":"https://api.github.com/repos/stupidsing/suite/commits/74271a983ad95e066fc30ca8e943649a70b19877"},{"sha":"3df44417fefc048ba492dd2bf13b6d9822cafa11","author":{"email":"80652cfe0fe26239cf7dbc26aa77f14f7900e726@gmail.com","name":"stupidsing"},"message":"extract parser from imperative compiler; add stack trace in sewing prover","distinct":true,"url":"https://api.github.com/repos/stupidsing/suite/commits/3df44417fefc048ba492dd2bf13b6d9822cafa11"}]}