{"push_id":601893350,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d628d175e9feb47f456036cd2b134f0f62ef8297","before":"8cc4546a0719d93e1d7983915cdc04db004f91d2","commits":[{"sha":"d628d175e9feb47f456036cd2b134f0f62ef8297","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Changes","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-containers/commits/d628d175e9feb47f456036cd2b134f0f62ef8297"}]}