{"push_id":810847988,"size":1,"distinct_size":1,"ref":"refs/heads/travis-fix","head":"9450089118b83bdf9ad7d4e16f99c59ab01462d7","before":"799fef132e793c33eae1084612a3e06b9745ab47","commits":[{"sha":"9450089118b83bdf9ad7d4e16f99c59ab01462d7","author":{"email":"86545137d95a2fb201b95d74dbbdc9d19aea0494@gmail.com","name":"Dmitry Bushev"},"message":"travis script based on hvr-multi-ghc","distinct":true,"url":"https://api.github.com/repos/4e6/Idris-dev/commits/9450089118b83bdf9ad7d4e16f99c59ab01462d7"}]}