{"push_id":751964874,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bb7c24fcf204f13a5aca033bf831cc1dae227656","before":"71478fd74014f511d5c3cbb1373335d84f96913d","commits":[{"sha":"4298c97cca1ae48679b3c43eb1850bcf5f7e8eb7","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Fixed error","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-containers/commits/4298c97cca1ae48679b3c43eb1850bcf5f7e8eb7"},{"sha":"bb7c24fcf204f13a5aca033bf831cc1dae227656","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Dot stuff moved to separate repo","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-containers/commits/bb7c24fcf204f13a5aca033bf831cc1dae227656"}]}