{"push_id":557166127,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8efe0105ecb6eaaebc3e4ec53b1033d942b4f059","before":"80c364306585d5bd82a7a36f015c8a156af4b51f","commits":[{"sha":"8efe0105ecb6eaaebc3e4ec53b1033d942b4f059","author":{"email":"cc50c1e6b8103dca400080921d7bac3ec9f88a38@gmail.com","name":"Robin Houston"},"message":"Allow LICS.tex to be compiled","distinct":true,"url":"https://api.github.com/repos/robinhouston/mll-proof-equivalence/commits/8efe0105ecb6eaaebc3e4ec53b1033d942b4f059"}]}