{"push_id":1477817559,"size":1,"distinct_size":1,"ref":"refs/heads/feature/kore-of-kore","head":"36ee8362d9b6ddf6315268f732e601f63f4fabcc","before":"0df9005041dc027666980e365d50e273a322dec7","commits":[{"sha":"36ee8362d9b6ddf6315268f732e601f63f4fabcc","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"wip: mini to kore","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/36ee8362d9b6ddf6315268f732e601f63f4fabcc"}]}
{"actor":{"display_login":"daejunpark"}}