{"push_id":857322082,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ed43afdee2eba8abb19bb24cc634383de5ba02f7","before":"2437ba926c213759390e916fe656130af96e51e1","commits":[{"sha":"ed43afdee2eba8abb19bb24cc634383de5ba02f7","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ doc ] Fixed warning by adding missing backtick.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/ed43afdee2eba8abb19bb24cc634383de5ba02f7"}]}