{"push_id":1176511717,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"418b1265a523bb520f90fc0837d0fe49aaa518c2","before":"67f4fbcc9872a11e6a6dbc82e86297b99ef185cb","commits":[{"sha":"418b1265a523bb520f90fc0837d0fe49aaa518c2","author":{"name":"João Alpuim","email":"c272f7038506afc4391756d196e899897c9fbfd9@gmail.com"},"message":"Carried out and experiment using Top as the empty disjointness constraint (instead of Bottom). Also worked on the ICFP paper.","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/intersection/commits/418b1265a523bb520f90fc0837d0fe49aaa518c2"}]}
{"actor":{"display_login":"jalpuim"}}