{"push_id":1143485185,"size":2,"distinct_size":2,"ref":"refs/heads/LiquidProver","head":"9006b65cdedd80759c0ed6079583b596db2e007d","before":"6f9e2ddae83d3957640520dd7718be13743ca527","commits":[{"sha":"4d61550e769e25f1cbe09679eede47d4bae61667","author":{"name":"nikivazou","email":"dae9a38263fac2b01c72efae58e9b9152b6c82f6@gmail.com"},"message":"fix soundness bug on distinct\\: mempty is equal to Emp","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4d61550e769e25f1cbe09679eede47d4bae61667"},{"sha":"9006b65cdedd80759c0ed6079583b596db2e007d","author":{"name":"nikivazou","email":"dae9a38263fac2b01c72efae58e9b9152b6c82f6@gmail.com"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/9006b65cdedd80759c0ed6079583b596db2e007d"}]}
{"actor":{"display_login":"nikivazou"}}