{"push_id":2685656143,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6ff0f992488d471708cceda684e400f71b737b49","before":"9279e58a179d8a508ca1e21064ff561a7c12ee73","commits":[{"sha":"6ff0f992488d471708cceda684e400f71b737b49","author":{"name":"Alin Corodescu","email":"93c82dd67110c2d09723eefd5b267cf31be5283c@gmail.com"},"message":"fixed capitalisation of chapter titles","distinct":true,"url":"https://api.github.com/repos/alin-corodescu/RelationalSeparationLogicProver/commits/6ff0f992488d471708cceda684e400f71b737b49"}]}
{"actor":{"display_login":"alin-corodescu"}}