{"push_id":2834991634,"size":1,"distinct_size":1,"ref":"refs/heads/erc20-compatible","head":"3959cd72668cb4fa856f2ec405204af37f9e4990","before":"310bc92aff490442968cd2b6e36a1a9d2e9e830e","commits":[{"sha":"3959cd72668cb4fa856f2ec405204af37f9e4990","author":{"name":"Denis Bogdanas","email":"92a35fe6e840bf19a77001a55afbf16776a19f02@gmail.com"},"message":"Tests/fixes for authorize/revoke/send/operatorSend involving 0x0.","distinct":true,"url":"https://api.github.com/repos/runtimeverification/erc777-semantics/commits/3959cd72668cb4fa856f2ec405204af37f9e4990"}]}
{"actor":{"display_login":"denis-bogdanas"}}