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