{"push_id":1351355304,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c9b9dc8cde7ff072bdf379e1374164fb42db8571","before":"1c6d485c7b3213f6a0ad26474560e7fe0c150fb9","commits":[{"sha":"c9b9dc8cde7ff072bdf379e1374164fb42db8571","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Add more explanations","distinct":true,"url":"https://api.github.com/repos/pirapira/ethereum-formal-verification-overview/commits/c9b9dc8cde7ff072bdf379e1374164fb42db8571"}]}
{"actor":{"display_login":"pirapira"}}