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