{"push_id":2523618924,"size":1,"distinct_size":1,"ref":"refs/heads/data-unif","head":"22dcd4ec2ec6cf6a639f28c3a6c6f369698a08a2","before":"3d9e16c349a25e4b9a1ea83cb14a226d4325e2f6","commits":[{"sha":"22dcd4ec2ec6cf6a639f28c3a6c6f369698a08a2","author":{"name":"Haniel Babosa","email":"ad6f468e0a4f338783f8b84b9e5428e33b2baae5@gmail.com"},"message":"spurious lemma","distinct":true,"url":"https://api.github.com/repos/HanielB/CVC4/commits/22dcd4ec2ec6cf6a639f28c3a6c6f369698a08a2"}]}
{"actor":{"display_login":"HanielB"}}