{"push_id":633284898,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e09402352705d37475ff0ebc0a7c6373d210c3b1","before":"843c0e5b0d0f8107a72df39cc82af1b4f972a7b2","commits":[{"sha":"e09402352705d37475ff0ebc0a7c6373d210c3b1","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Small-steps semantics with events","distinct":true,"url":"https://api.github.com/repos/clarus/io-checker/commits/e09402352705d37475ff0ebc0a7c6373d210c3b1"}]}