{"push_id":1106860053,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"25cbe031c5a5bfbfc26402b681728c8d85ddf018","before":"189292ba86ef7455b281c140117520395e6b43eb","commits":[{"sha":"25cbe031c5a5bfbfc26402b681728c8d85ddf018","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Renamed `×-total` to `x-total₁` in Relation.Binary.Product.StrictLex.","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/25cbe031c5a5bfbfc26402b681728c8d85ddf018"}]}