{"push_id":1486533955,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6a6dc29d81380e7c7ec759a83fe4502521dfae28","before":"5f5601079b4954b2927e5fa961065ca90414b930","commits":[{"sha":"6a6dc29d81380e7c7ec759a83fe4502521dfae28","author":{"name":"Chris Hodapp","email":"1f3edea542642fececc089d6112c84a92e242574@gmail.com"},"message":"Unfinished section 4.4 exercises for Theorem Proving in Lean","distinct":true,"url":"https://api.github.com/repos/Hodapp87/leanprover_scratch/commits/6a6dc29d81380e7c7ec759a83fe4502521dfae28"}]}
{"actor":{"display_login":"Hodapp87"}}