{"push_id":551173223,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f4e552680a75e51e4d973025f287ab402259aabc","before":"cd7dbc8cec017db5bc42ad56d33ec5b05239ea16","commits":[{"sha":"f4e552680a75e51e4d973025f287ab402259aabc","author":{"email":"afc4aef2d0fa554b6895c501645704102a52e5f0@st-andrews.ac.uk","name":"FranckS"},"message":"[For Franck only] reimplementation of Ring in progress","distinct":true,"url":"https://api.github.com/repos/FranckS/RingIdris/commits/f4e552680a75e51e4d973025f287ab402259aabc"}]}