{"push_id":2866349050,"size":1,"distinct_size":1,"ref":"refs/heads/token-2018","head":"e9ae0e164b6f78fc3caa9a64878f6fff25ad8238","before":"6d15a426e4a8a2470af442648bb393eaa13ef608","commits":[{"sha":"e9ae0e164b6f78fc3caa9a64878f6fff25ad8238","author":{"name":"sid","email":"da58b0c134ced9fa3847c7d85a083541cd9a0663@malto"},"message":"Define more abstract specification of ERC20.","distinct":true,"url":"https://api.github.com/repos/seed/eth-isabelle/commits/e9ae0e164b6f78fc3caa9a64878f6fff25ad8238"}]}
{"actor":{"display_login":"seed"}}