{"push_id":782199661,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"043cf99b92b4ac7004242456b69c18ce09856235","before":"9faad12ee72dabfbbb5a52be0d18476ba5aca165","commits":[{"sha":"043cf99b92b4ac7004242456b69c18ce09856235","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"edited correctness.tex","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/043cf99b92b4ac7004242456b69c18ce09856235"}]}