{"push_id":2520250723,"size":2,"distinct_size":2,"ref":"refs/heads/invsynth","head":"55a2fe2d843a716d0738ff8e5186e7250da00f85","before":"9e63e1993227f91c58f2b9b21d4c0aefb067cef5","commits":[{"sha":"99990c979d49e651f946eadf58874349c0cb885e","author":{"name":"Haniel Barbosa","email":"ad6f468e0a4f338783f8b84b9e5428e33b2baae5@gmail.com"},"message":"purifying lemmas to send to unif util","distinct":true,"url":"https://api.github.com/repos/HanielB/CVC4/commits/99990c979d49e651f946eadf58874349c0cb885e"},{"sha":"55a2fe2d843a716d0738ff8e5186e7250da00f85","author":{"name":"Haniel Barbosa","email":"ad6f468e0a4f338783f8b84b9e5428e33b2baae5@gmail.com"},"message":"documentation","distinct":true,"url":"https://api.github.com/repos/HanielB/CVC4/commits/55a2fe2d843a716d0738ff8e5186e7250da00f85"}]}
{"actor":{"display_login":"HanielB"}}