[Mlir-commits] [mlir] [MLIR][Python] Rename `GreedyRewriteDriverConfig` to `GreedyRewriteConfig` (PR #175409)

[llvmlistbot at llvm.org]

PragmaTwice wrote:

> This is fine since this is a fairly recent addition but in general we shouldn't rename public things even if they could be more accurately named or something (it's unnecessary "churn" that usually pisses people off).

yah I know that. this type was introduced on Jan 2nd but it became useful (via #174913) on Jan 8th, so I think it should generally be safe to rename. indeed we should be careful about this : )

https://github.com/llvm/llvm-project/pull/175409