{"push_id":754442013,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0e32fded3803b6bf06e70ead363676a44c2e5840","before":"a44ebffe6855d4b4b5e0863f229f8c2255597f16","commits":[{"sha":"0e32fded3803b6bf06e70ead363676a44c2e5840","author":{"email":"933fa96b3be946757525eeb70c3c7e1e59b07b81@gmail.com","name":"stratosphr"},"message":"Ready for z3 model parsing","distinct":true,"url":"https://api.github.com/repos/stratosphr/workflowverification/commits/0e32fded3803b6bf06e70ead363676a44c2e5840"}]}