{"push_id":730837078,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"92af4a4519290e203505681cf9bb7d2e3486efdd","before":"cdf5be13fd7ea15c4097baf0f419ca048585f2d9","commits":[{"sha":"92af4a4519290e203505681cf9bb7d2e3486efdd","author":{"email":"592ed7db44d05f92045fca80f2ab31db16f117da@gmail.com","name":"Hyeyoung Shin"},"message":"completed first exercise to make sure Coq is working on this machine","distinct":true,"url":"https://api.github.com/repos/hyeyoungshin/Coq/commits/92af4a4519290e203505681cf9bb7d2e3486efdd"}]}