{"push_id":937891500,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04bf21e334efe6d16cc5fde127d61470da4b4cb8","before":"56aacd96490216441e44c27a855a8cc40cb4f0d0","commits":[{"sha":"04bf21e334efe6d16cc5fde127d61470da4b4cb8","author":{"email":"3afb959e2fea75c2e98c68eac12eb0d826a8ffe4@gmail.com","name":"Stefano Martina"},"message":"Aggiunto commenti al codice e corretto piccolo bug.","distinct":true,"url":"https://api.github.com/repos/trianam/ctlModelChecker/commits/04bf21e334efe6d16cc5fde127d61470da4b4cb8"}]}