{"push_id":611757970,"size":1,"distinct_size":1,"ref":"refs/heads/T6018-injective-type-families","head":"4c678c576122c9a5ddfa8883fe2618f0cd7dd7a5","before":"e901b76e7b6e80dd060d99a57b4019b8d3f989cb","commits":[{"sha":"4c678c576122c9a5ddfa8883fe2618f0cd7dd7a5","author":{"email":"fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","name":"Jan Stolarek"},"message":"Fix #123 and #125","distinct":true,"url":"https://api.github.com/repos/jstolarek/ghc/commits/4c678c576122c9a5ddfa8883fe2618f0cd7dd7a5"}]}