{"push_id":813941673,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"81bb69c4baa18438bb26554fce5b4e73dad4dc3a","before":"0bc31bb0264ae968f6930dcfbc51c6ce616e47c4","commits":[{"sha":"81bb69c4baa18438bb26554fce5b4e73dad4dc3a","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Add .stack-work to .gitignore","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/81bb69c4baa18438bb26554fce5b4e73dad4dc3a"}]}