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