{"push_id":1840257492,"size":2,"distinct_size":2,"ref":"refs/heads/dev-smt","head":"1329642b8646801a65e7c093c9b7bdedb703dca1","before":"7d6c5f3ac40b14caed3d8ad7920b835ee8f2dbba","commits":[{"sha":"e75bd58b1109df1dda24fe20f35306836f64714a","author":{"name":"Andre Pacak","email":"92bcb89913d7c9ea3580f8d33940f5668c641335@googlemail.com"},"message":"fix compilation error based on false import","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/e75bd58b1109df1dda24fe20f35306836f64714a"},{"sha":"1329642b8646801a65e7c093c9b7bdedb703dca1","author":{"name":"Andre Pacak","email":"92bcb89913d7c9ea3580f8d33940f5668c641335@googlemail.com"},"message":"type hierarchy for terms of smtlib","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/1329642b8646801a65e7c093c9b7bdedb703dca1"}]}
{"actor":{"display_login":"andiderp"}}