{"push_id":1424275128,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"88da20c198565f4db2a05bd3ecf66c7eeb93b2b6","before":"bbe928a6739234582d7391952039ee644b6b90fa","commits":[{"sha":"8d92af97732863a9ab96c07c33bda9d2255bef64","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ travis ] Fixed typo.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/8d92af97732863a9ab96c07c33bda9d2255bef64"},{"sha":"c95c117d2657854d8515d1e9ba43cf32634325e6","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ #2319 ] Added GHC 8.0.2 (RC1) to Travis.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/c95c117d2657854d8515d1e9ba43cf32634325e6"},{"sha":"88da20c198565f4db2a05bd3ecf66c7eeb93b2b6","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Merge remote-tracking branch 'origin/stable-2.5'","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/88da20c198565f4db2a05bd3ecf66c7eeb93b2b6"}]}
{"actor":{"display_login":"asr"}}