{"push_id":695139491,"size":1,"distinct_size":1,"ref":"refs/heads/10.0","head":"aad8667f8a4e2a26652494b29ee6c12824865ac8","before":"43e45226722d69c3a1e6fa59381f068fe7418253","commits":[{"sha":"aad8667f8a4e2a26652494b29ee6c12824865ac8","author":{"email":"62cdb7020ff920e5aa642c3d4066950dd1f01f4d@mariadb.org","name":"Alexander Barkov"},"message":"Committing a change into r/type_time_hires.result forgotten\nin the previous commit for MDEV-8205.","distinct":true,"url":"https://api.github.com/repos/MariaDB/server/commits/aad8667f8a4e2a26652494b29ee6c12824865ac8"}]}