{"push_id":566599613,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2ed6b340c16b9eef68d96dcd1835142a1afc3d86","before":"e9f5b9b97bb56aa767b65563ab7888684478cb47","commits":[{"sha":"2ed6b340c16b9eef68d96dcd1835142a1afc3d86","author":{"email":"1121d28f19f910af2121bc272d14bf2cc2df7fe9@microsoft.com","name":"Chris Hawblitzel"},"message":"Revise modules.tex","distinct":true,"url":"https://api.github.com/repos/shazqadeer/popl2015/commits/2ed6b340c16b9eef68d96dcd1835142a1afc3d86"}]}