{"push_id":581561564,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ded9de1bc343282449a260dba2e6b8d1005b15e7","before":"c3e4c9365154a8b838056b46c0048397690b5772","commits":[{"sha":"ded9de1bc343282449a260dba2e6b8d1005b15e7","author":{"email":"afc4aef2d0fa554b6895c501645704102a52e5f0@st-andrews.ac.uk","name":"Franck"},"message":"Some algebra proofs done for Ring","distinct":true,"url":"https://api.github.com/repos/FranckS/RingIdris/commits/ded9de1bc343282449a260dba2e6b8d1005b15e7"}]}