{"push_id":690330368,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bdd070132321ea43ab262e2efc723f50ca828220","before":"92732ce9fc19a0588137666923dd0b4d253e5ec4","commits":[{"sha":"bdd070132321ea43ab262e2efc723f50ca828220","author":{"email":"ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","name":"Aise Johan de Jong"},"message":"Sketch resolution of RDPs\n\nRDP = Rational Double Point\n\nAlthough this is fairly intricate, it clearly works.\n\nWe still have to clarify some of the points a bit more\n(look for FIXMEs in the text).","distinct":true,"url":"https://api.github.com/repos/aisejohan/stacks-project/commits/bdd070132321ea43ab262e2efc723f50ca828220"}]}