{"push_id":1352143685,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"efbde0a1c7aa14b2f526fe32def9f2a8806bb0da","before":"1139ef67fed424c718fc129709d5dda13e44ab5d","commits":[{"sha":"9aaee2bc64725b0d18e93268129a93a8f78ca80d","author":{"name":"Igor Konnov","email":"7cbd08f94943dabfeab5847bde53a9f359919f63@forsyte.at"},"message":"renamed tlair to tla-import","distinct":true,"url":"https://api.github.com/repos/konnov/apalache/commits/9aaee2bc64725b0d18e93268129a93a8f78ca80d"},{"sha":"efbde0a1c7aa14b2f526fe32def9f2a8806bb0da","author":{"name":"Igor Konnov","email":"7cbd08f94943dabfeab5847bde53a9f359919f63@forsyte.at"},"message":"working on the low-level intermediate representation","distinct":true,"url":"https://api.github.com/repos/konnov/apalache/commits/efbde0a1c7aa14b2f526fe32def9f2a8806bb0da"}]}
{"actor":{"display_login":"konnov"}}