{"push_id":814354631,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"8cf5cd33b646a106f7f89dffa4620eb236c90b95","before":"8ed679ff16f33634bf288dc4d87f902518f97df3","commits":[{"sha":"48798056bb247bab2fb0e3641b48af84f291aaa2","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Use a submodule for liquid-fixpoint","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/48798056bb247bab2fb0e3641b48af84f291aaa2"},{"sha":"7d66a7fbc2a8dcb61ba6e7bdf2f66fcff64476d7","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Add instructions to reset submodule state","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/7d66a7fbc2a8dcb61ba6e7bdf2f66fcff64476d7"},{"sha":"8cf5cd33b646a106f7f89dffa4620eb236c90b95","author":{"email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@eric.seidel.io","name":"Eric Seidel"},"message":"Merge pull request #476 from ucsd-progsys/submodule\n\nUse a submodule for liquid-fixpoint","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/8cf5cd33b646a106f7f89dffa4620eb236c90b95"}]}