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