{"push_id":558851934,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c14560d541925a2c27d6519ff2a5eeb50e5b2e29","before":"bb2959a8ca091a0cc1a707a962898218a22baf8a","commits":[{"sha":"c14560d541925a2c27d6519ff2a5eeb50e5b2e29","author":{"email":"9f22b7f213a2498077a52e28646407981fdaf2b9@gmail.com","name":"spacewax"},"message":"mod rule : Existential intro","distinct":true,"url":"https://api.github.com/repos/spacewax/workshop/commits/c14560d541925a2c27d6519ff2a5eeb50e5b2e29"}]}