{"push_id":814071076,"size":3,"distinct_size":2,"ref":"refs/heads/submodule","head":"7d66a7fbc2a8dcb61ba6e7bdf2f66fcff64476d7","before":"0eb706b1e571fa82f97cf1f1fb81f5f5d1d1e3f2","commits":[{"sha":"0125410441801f1c239bcf89982d82f2843f5149","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"missing file","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/0125410441801f1c239bcf89982d82f2843f5149"},{"sha":"48798056bb247bab2fb0e3641b48af84f291aaa2","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Use a submodule for liquid-fixpoint","distinct":true,"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":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/7d66a7fbc2a8dcb61ba6e7bdf2f66fcff64476d7"}]}