{"push_id":1932742272,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6352969e826ec994e361f17e412383a3bd412ca4","before":"1d69a34486b70738fe777797f8d6b3984409eecd","commits":[{"sha":"6352969e826ec994e361f17e412383a3bd412ca4","author":{"name":"Renzo Degiovanni","email":"d663c90635d06cae1a4e7f6eacf472d65b62160a@dc.exa.unrc.edu.ar"},"message":"New codification: spec splitted and bounded BCs","distinct":true,"url":"https://api.github.com/repos/rdegiovanni/LTLmodelcounting/commits/6352969e826ec994e361f17e412383a3bd412ca4"}]}
{"actor":{"display_login":"rdegiovanni"}}