{"push_id":1476675703,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c219f9e79d0899c2a5077a8069aebc30b7d4d5ef","before":"200bed12a3cd9220212843ed65a3befd55179087","commits":[{"sha":"c219f9e79d0899c2a5077a8069aebc30b7d4d5ef","author":{"name":"Dmitry Mordvinov","email":"66e01735acb6266b905fe4086325a47f090d33f9@gmail.com"},"message":"Preliminaries extended with some features for unsat traces","distinct":true,"url":"https://api.github.com/repos/dvvrd/articles/commits/c219f9e79d0899c2a5077a8069aebc30b7d4d5ef"}]}
{"actor":{"display_login":"dvvrd"}}