{"push_id":1441084706,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"770c80c97f51eab339a7fc012c674e8450fca89f","before":"037c934fb912b1603fa522a3c152ebc3ec1c28bc","commits":[{"sha":"770c80c97f51eab339a7fc012c674e8450fca89f","author":{"name":"jacopo","email":"2a9646c0b16f7dc6058e3f83b8310a1b9fbb7210@ifi.uio.no"},"message":"update z3 version installed in docker","distinct":true,"url":"https://api.github.com/repos/HyVar/hyvar-rec/commits/770c80c97f51eab339a7fc012c674e8450fca89f"}]}
{"actor":{"display_login":"jacopoMauro"}}