{"push_id":1040014017,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"acc9bd12b455ecfa118381cca4cd8f9522ef96c8","before":"0187c0ce1623589c2db651252468227fe433b23b","commits":[{"sha":"acc9bd12b455ecfa118381cca4cd8f9522ef96c8","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ doc ] Sphinx 1.4 is required for building the documentation.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/acc9bd12b455ecfa118381cca4cd8f9522ef96c8"}]}