{"push_id":854937692,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54077213887792f66277659859b6db1f956b35c8","before":"479da070f89ec08b824d7dcd2db9471440d06d99","commits":[{"sha":"54077213887792f66277659859b6db1f956b35c8","author":{"email":"a98f8a21da7e1ec56dc2aa5c54a5178d96d46cca@gmail.com","name":"Dimitris-Kouzapas"},"message":"state machine macros","distinct":true,"url":"https://api.github.com/repos/epsrc-abcd/session-types-use-cases/commits/54077213887792f66277659859b6db1f956b35c8"}]}