{"push_id":902196347,"size":1,"distinct_size":1,"ref":"refs/heads/spec","head":"d5b0f165d6b9164c17908b902c615e338da645b7","before":"09bc1a5edda7b28cc89ce1a7a76252cc5c4acff4","commits":[{"sha":"d5b0f165d6b9164c17908b902c615e338da645b7","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":".travis.yml for Travis CI","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/d5b0f165d6b9164c17908b902c615e338da645b7"}]}