{"push_id":1241365304,"size":1,"distinct_size":1,"ref":"refs/heads/equiv","head":"8db3dceb258091d7126e7a408a0ce17db684a29b","before":"48e17631f24116d38a413cd517596bdbbf6087c1","commits":[{"sha":"8db3dceb258091d7126e7a408a0ce17db684a29b","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"1st equiv","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8db3dceb258091d7126e7a408a0ce17db684a29b"}]}
{"actor":{"display_login":"daejunpark"}}