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