{"push_id":708545230,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d512c8f0b65dc805ab8ff19b79b783a7c6ec477","before":"c7f4e926a19371234b1361fcd64973439df9d687","commits":[{"sha":"5d512c8f0b65dc805ab8ff19b79b783a7c6ec477","author":{"email":"3925322debdc157f23033e76689eddcd35349837@users.noreply.github.com","name":"yuuko"},"message":"deleted WHILE.hs in top level","distinct":true,"url":"https://api.github.com/repos/yuuko/WHILE/commits/5d512c8f0b65dc805ab8ff19b79b783a7c6ec477"}]}