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