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