{"push_id":870991562,"size":1,"distinct_size":1,"ref":"refs/heads/gen8","head":"40d3fe7e9f67399374cc14bcd41f0f01ea72da5f","before":"79a8b648459a8c5bbc18d35d6b71d2f3f0769974","commits":[{"sha":"40d3fe7e9f67399374cc14bcd41f0f01ea72da5f","author":{"email":"7d37fbf777acc1472fb11e1ef7c2f90a90c3fe65@gmail.com","name":"Ingo Wechsung"},"message":"java type conversions, unifying and creation","distinct":true,"url":"https://api.github.com/repos/Frege/frege/commits/40d3fe7e9f67399374cc14bcd41f0f01ea72da5f"}]}