{"push_id":714602136,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"6482ca75a39709e65de676d533b3d115ad2b1153","before":"44f45f58dc0a169286c9fcfa7d2edbc8bc04673b","commits":[{"sha":"6482ca75a39709e65de676d533b3d115ad2b1153","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@maximedenes.fr","name":"Maxime Dénès"},"message":"Fix convertibility of primitive projections for native_compute.\n\nStuck primitive projections were never convertible.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/6482ca75a39709e65de676d533b3d115ad2b1153"}]}