{"push_id":555352056,"size":5,"distinct_size":5,"ref":"refs/heads/term-derivation","head":"361fff91013eae2136b80e2eeac8c3e640b86cc9","before":"5df159260905f5393a4e79035bc2f1a286147a9b","commits":[{"sha":"e8c7bc022264395a94469a7bec8f7a3d7bc9e73e","author":{"email":"ab06e68f7eb08eedf3f24b223770e82bd756f1c1@gmail.com","name":"Julian Gonggrijp"},"message":"Make LG/Subnet.hs compile entirely, thanks to cowl","distinct":true,"url":"https://api.github.com/repos/jgonggrijp/net-prove/commits/e8c7bc022264395a94469a7bec8f7a3d7bc9e73e"},{"sha":"235b48df55b759205ffd26c376330994a6fe783d","author":{"email":"ab06e68f7eb08eedf3f24b223770e82bd756f1c1@gmail.com","name":"Julian Gonggrijp"},"message":"Add .dist-buildwrapper to gitignore","distinct":true,"url":"https://api.github.com/repos/jgonggrijp/net-prove/commits/235b48df55b759205ffd26c376330994a6fe783d"},{"sha":"68f84860f4f9535e15a12161f5120fb25f6b4219","author":{"email":"ab06e68f7eb08eedf3f24b223770e82bd756f1c1@gmail.com","name":"Julian Gonggrijp"},"message":"Add example graph for testing purposes","distinct":true,"url":"https://api.github.com/repos/jgonggrijp/net-prove/commits/68f84860f4f9535e15a12161f5120fb25f6b4219"},{"sha":"2bf17150e0801c76f9c36de5343bbd0f54e72ea2","author":{"email":"ab06e68f7eb08eedf3f24b223770e82bd756f1c1@gmail.com","name":"Julian Gonggrijp"},"message":"Introduce substitution links in testGraph for exhaustive testing","distinct":true,"url":"https://api.github.com/repos/jgonggrijp/net-prove/commits/2bf17150e0801c76f9c36de5343bbd0f54e72ea2"},{"sha":"361fff91013eae2136b80e2eeac8c3e640b86cc9","author":{"email":"ab06e68f7eb08eedf3f24b223770e82bd756f1c1@gmail.com","name":"Julian Gonggrijp"},"message":"Update LG.SubnetGraph\n\nIt works! :-)","distinct":true,"url":"https://api.github.com/repos/jgonggrijp/net-prove/commits/361fff91013eae2136b80e2eeac8c3e640b86cc9"}]}