{"push_id":1297616485,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e8d4cb6a0be5dc004eae15a08b29d8fc4dba7184","before":"0bf4676f5e4c7807995c45612edb0a7244ca5bd8","commits":[{"sha":"e8d4cb6a0be5dc004eae15a08b29d8fc4dba7184","author":{"name":"Rene Nilsson","email":"a1bcc77f4a4ab4f6d5ca31959e19fc9bf9f225fe@eng.au.dk"},"message":"Exercise 4.2 and 4.6","distinct":true,"url":"https://api.github.com/repos/HrNilsson/concrete-semantics/commits/e8d4cb6a0be5dc004eae15a08b29d8fc4dba7184"}]}
{"actor":{"display_login":"HrNilsson"}}