{"push_id":877718169,"size":1,"distinct_size":1,"ref":"refs/heads/b/optimize_other_operations","head":"c5d0be3aef8c4ec853a0f79f49800128a64cce13","before":"fc78938e4bd21ce9d69be56c6deb7ff3c3974c28","commits":[{"sha":"c5d0be3aef8c4ec853a0f79f49800128a64cce13","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@crate.io","name":"Philipp Bogensberger"},"message":"optimize generated column queries with other\noperators than equal if possible","distinct":true,"url":"https://api.github.com/repos/crate/crate/commits/c5d0be3aef8c4ec853a0f79f49800128a64cce13"}]}