{"push_id":1305744456,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b6ba0733b91eb790d9396b80c7c3ae5c5a961e46","before":"d745446cbfcf13158cc046586f59d507c8b37311","commits":[{"sha":"b6ba0733b91eb790d9396b80c7c3ae5c5a961e46","author":{"name":"effectfully","email":"a76a5786c8b3403dd674febb01152d4b17b7fced@gmail.com"},"message":"Examples/Experiment.agda","distinct":true,"url":"https://api.github.com/repos/effectfully/Generic/commits/b6ba0733b91eb790d9396b80c7c3ae5c5a961e46"}]}
{"actor":{"display_login":"effectfully"}}