{"push_id":644380747,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ccbc13fd0c9a87cfbe465c0c766ef675910bff68","before":"c3c04d63b7692426bc289b7d831a767473b84f87","commits":[{"sha":"ccbc13fd0c9a87cfbe465c0c766ef675910bff68","author":{"email":"d6b4cfcd38a74b7aedf301744a45aaffc4209f7d@cs.ox.ac.uk","name":"ahorn"},"message":"Add three etcd 2.0 test cases with 'quorum=true'","distinct":true,"url":"https://api.github.com/repos/ahorn/linearizability-checker/commits/ccbc13fd0c9a87cfbe465c0c766ef675910bff68"}]}