{"push_id":1329411736,"size":1,"distinct_size":1,"ref":"refs/heads/v0.1","head":"5bae723d012e2ef87d45a5d5ce115f4605711462","before":"35a5fba6a5a0e63e39b0c888182182dc5cd76fc6","commits":[{"sha":"5bae723d012e2ef87d45a5d5ce115f4605711462","author":{"name":"bourbouh","email":"d972d439bd499f7350c6f34676c080e4a9e35038@gmail.com"},"message":"fix Z3_LIBRARY init problem","distinct":true,"url":"https://api.github.com/repos/coco-team/cocoSim/commits/5bae723d012e2ef87d45a5d5ce115f4605711462"}]}
{"actor":{"display_login":"hbourbou"}}