{"push_id":717033666,"size":1,"distinct_size":1,"ref":"refs/heads/proofs","head":"c5e40953c59829e5601c702adc257b82601f9952","before":"b186efcdcda9bc3d320a68c60a4ab90d4f23f3e9","commits":[{"sha":"c5e40953c59829e5601c702adc257b82601f9952","author":{"email":"584ea73fef92153b8040a1e09162219e490f6284@gmail.com","name":"Liana Hadarean"},"message":"added todo","distinct":true,"url":"https://api.github.com/repos/lianah/CVC4/commits/c5e40953c59829e5601c702adc257b82601f9952"}]}