{"push_id":2671827127,"size":1,"distinct_size":1,"ref":"refs/heads/new-attributes","head":"917f9e608f7f8bddc416af7c53dbc58a70efcdee","before":"2545b621ca4078305c64e819f702e7c99f54926b","commits":[{"sha":"917f9e608f7f8bddc416af7c53dbc58a70efcdee","author":{"name":"Nick Walker","email":"bfd9eefec46c7e05c6eeab5e8fad3d76b21003ac@runtimeverification.com"},"message":"add smtlib attribute; update golden","distinct":true,"url":"https://api.github.com/repos/njohnwalker/kore/commits/917f9e608f7f8bddc416af7c53dbc58a70efcdee"}]}
{"actor":{"display_login":"njohnwalker"}}