{"push_id":782725348,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"df92f1e6cb527fdf99ddc0fa8c73ed6bbdb439db","before":"86d8d1571cabee26647d7f2ed98901c56c0da232","commits":[{"sha":"df92f1e6cb527fdf99ddc0fa8c73ed6bbdb439db","author":{"email":"933fa96b3be946757525eeb70c3c7e1e59b07b81@gmail.com","name":"stratosphr"},"message":"Hadara petri nets now parsed + examples","distinct":true,"url":"https://api.github.com/repos/stratosphr/workflowverification/commits/df92f1e6cb527fdf99ddc0fa8c73ed6bbdb439db"}]}