{"push_id":2691944800,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"36b225f36ee273b8fa33441ccb06946dfad3dcb8","before":"fea7bd64f0df1229a53cb4fb7698eb1633f4ff47","commits":[{"sha":"36b225f36ee273b8fa33441ccb06946dfad3dcb8","author":{"name":"Michiel Bakker","email":"2a6a96320f22ed6a3811c3bf742c06b6063856a2@gmail.com"},"message":"decreases contracts","distinct":true,"url":"https://api.github.com/repos/Jankoekenpan/ProgramVerifier/commits/36b225f36ee273b8fa33441ccb06946dfad3dcb8"}]}
{"actor":{"display_login":"Walnoot"}}