{"push_id":778766280,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"cefd8132c1bc5e307f2668143bb51cf17cc4bb3b","before":"23fb0983eece9ac49fc2ad92e092fbc311ed5431","commits":[{"sha":"eee3dfab5e95d4e56daa4b724ddc3aa9c825eaac","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"added verb_hello__.tex","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/eee3dfab5e95d4e56daa4b724ddc3aa9c825eaac"},{"sha":"cefd8132c1bc5e307f2668143bb51cf17cc4bb3b","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"inserted verb_hello__.tex into layout","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/cefd8132c1bc5e307f2668143bb51cf17cc4bb3b"}]}