{"push_id":810385682,"size":1,"distinct_size":1,"ref":"refs/heads/j/score-doc-merge","head":"a40b0831cba7f702cc819fe4f6934c47c8198fdd","before":"72d1483d01ff25036f26d3059a1a06a131b4d453","commits":[{"sha":"a40b0831cba7f702cc819fe4f6934c47c8198fdd","author":{"email":"dabc572a42347a930fd039cd9bd44c49f94f3c94@zignar.net","name":"Mathias Fussenegger"},"message":"[ci skip] merge on scoreDocs instead of rows","distinct":true,"url":"https://api.github.com/repos/crate/crate/commits/a40b0831cba7f702cc819fe4f6934c47c8198fdd"}]}