{"push_id":545319988,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9bdc8c472faa94c96bf089f66f51f5f11e0b4819","before":"e4594288d7334d32be1323db1f4a9d862dd421f5","commits":[{"sha":"9bdc8c472faa94c96bf089f66f51f5f11e0b4819","author":{"email":"8152200bdf2b95deb395ec63e54685b7b66f91b9@gmail.com","name":"Matti Nieminen"},"message":"Modified simple account example to utilize execute-init and the new version of execute function.","distinct":true,"url":"https://api.github.com/repos/MattiNieminen/formal-specifications/commits/9bdc8c472faa94c96bf089f66f51f5f11e0b4819"}]}