{"push_id":1070167301,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9b9838a48c309ad34516336b068ac2ce5a05a57b","before":"1538e37e3559ba3f4c2a7c020aa051325486851e","commits":[{"sha":"9b9838a48c309ad34516336b068ac2ce5a05a57b","author":{"email":"0dcb1d023c7da4d116ea2be2bfa5d79676cfdba6@gmail.com","name":"Luca Dionisi"},"message":"More code to the qspnclient.\n\nImplement 'get_stub' and 'get_arc' of IIdmgmtStubFactory.","distinct":true,"url":"https://api.github.com/repos/lukisi/proof/commits/9b9838a48c309ad34516336b068ac2ce5a05a57b"}]}