{"push_id":778659785,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"16b2ef08c2e767ed67d135e5c4c62c507beed8bc","before":"b9da935f39876f2436101cbd5c6c30160026cbd9","commits":[{"sha":"16b2ef08c2e767ed67d135e5c4c62c507beed8bc","author":{"email":"5ee0edb9e2229c0838f1959779f1949031de0123@timbaumann.info","name":"Tim Baumann"},"message":"[travis] '~/.cabal/bin' to PATH","distinct":true,"url":"https://api.github.com/repos/timjb/idris-pfds/commits/16b2ef08c2e767ed67d135e5c4c62c507beed8bc"}]}