Java · redis/jedis

Generate a clear, concise GitHub PR title and description from the diff between two local git branches, and save it to prDescription.md in the repo root.

redis/jedis

Produce Jedis's implementation plan for a Redis API change from a shared client HLD - one reviewed markdown file naming the public API to add, every file and surface to touch, the ordered steps, the…

redis/jedis

Add or extend Redis commands in the Jedis client API — a new core command, a family of new commands, an extension to an existing command's options, or a module command (Search/TimeSeries/JSON/Bloom).

redis/jedis