{"push_id":821025033,"size":1,"distinct_size":1,"ref":"refs/heads/safesmartcontracts-hk15","head":"d02c2138599e8729a0e9091bfabc948255171cda","before":"d8ace82c732db8d58bb35e8a398b8ab1767fcf3a","commits":[{"sha":"d02c2138599e8729a0e9091bfabc948255171cda","author":{"email":"52b3dae324947beaf67bbf9f52760102e5ff9864@gmail.com","name":"Andrew Miller"},"message":"simplify example 1","distinct":true,"url":"https://api.github.com/repos/mc2-umd/ethereumlab/commits/d02c2138599e8729a0e9091bfabc948255171cda"}]}