{"push_id":826054134,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"aef7bc173d33e0f6e2e7cd485de5d9b0edb7111c","before":"386442d903e43eb58de4b629ce9efd1892d2a576","commits":[{"sha":"313c128c536e3adc68be888667af171de7982875","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ Travis ] Fixed documentation.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/313c128c536e3adc68be888667af171de7982875"},{"sha":"aef7bc173d33e0f6e2e7cd485de5d9b0edb7111c","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ Travis ] Merged `latex-html-test` into `non-require-stdlib`.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/aef7bc173d33e0f6e2e7cd485de5d9b0edb7111c"}]}