Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
planner/core: separate `aggPrune` from `aggPushDown` #7676
What problem does this PR solve?
What is changed and how it works?
So separate it from
It's one part from #7531.