Support Redis key pushdown in Redis connector#12219

ebyhr merged 4 commits intotrinodb:mastertrinodb/trino:masterfrom

polaris6:redis-key-pushdownpolaris6/trino:redis-key-pushdownCopy head branch name to clipboard