{"push_id":1151802378,"size":3,"distinct_size":1,"ref":"refs/heads/feature/travis-test","head":"cf7d507381d80b2fddb4884a1904d3cbd6247cb1","before":"5753a33ce5a928678fb4f0617790047549fdd5c1","commits":[{"sha":"118b364a7490011f83446043723c4d4898908f4e","author":{"name":"Santiago Saavedra","email":"d1f507076fdb5ad6381ce6701e560238e788db94@gmail.com"},"message":"Update README.md\n\nFix link to GitHub Flow.","distinct":false,"url":"https://api.github.com/repos/cavi-art/why3-hs/commits/118b364a7490011f83446043723c4d4898908f4e"},{"sha":"0c1e5b2a0b096ba5a690c3ed32c7f71ba6d2aaa2","author":{"name":"Santiago Saavedra","email":"749cfbb9e6d37835358773504040147289b8892c@fdi.ucm.es"},"message":"Add more functions to detect whether Why3 can be used.","distinct":false,"url":"https://api.github.com/repos/cavi-art/why3-hs/commits/0c1e5b2a0b096ba5a690c3ed32c7f71ba6d2aaa2"},{"sha":"cf7d507381d80b2fddb4884a1904d3cbd6247cb1","author":{"name":"Santiago Saavedra","email":"749cfbb9e6d37835358773504040147289b8892c@fdi.ucm.es"},"message":"Add Travis to the project","distinct":true,"url":"https://api.github.com/repos/cavi-art/why3-hs/commits/cf7d507381d80b2fddb4884a1904d3cbd6247cb1"}]}
{"actor":{"display_login":"ssaavedra"}}