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