{"push_id":662933085,"size":2,"distinct_size":2,"ref":"refs/heads/issue-1460-extensions","head":"f43be9ae68d1d0935796ffd2faa94c16792f1313","before":"c4e0474a471fe55893bb850956d37855fb4543a4","commits":[{"sha":"805dc2bed262a67491560e647d5bdcf02f29faff","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Revert \"[ Issue 1460 ] Fixed.\"\n\nThis reverts commit c8288b4dc3fb7955330a042f9aa984b23a5ad9ad.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/805dc2bed262a67491560e647d5bdcf02f29faff"},{"sha":"f43be9ae68d1d0935796ffd2faa94c16792f1313","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ Travis ] Only using GHC 7.4.2.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/f43be9ae68d1d0935796ffd2faa94c16792f1313"}]}