{"push_id":2162192839,"size":1,"distinct_size":1,"ref":"refs/heads/keq","head":"418e7cedb05a0cab20a12c505dcc1071df7a037f","before":"e30aa09ea7169661744eb310bd387596692e96c4","commits":[{"sha":"418e7cedb05a0cab20a12c505dcc1071df7a037f","author":{"name":"Daejun Park","email":"e76a276b66c0832caaffd3435061c7479a13900c@gmail.com"},"message":"add --ignore-missing-smtlib-warning for jenkins","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/418e7cedb05a0cab20a12c505dcc1071df7a037f"}]}
{"actor":{"display_login":"daejunpark"}}