Bump redis.clients:jedis from 7.1.0 to 7.2.0

Bumps [redis.clients:jedis](https://github.com/redis/jedis) from 7.1.0 to 7.2.0.
- [Release notes](https://github.com/redis/jedis/releases)
- [Commits](redis/jedis@v7.1.0...v7.2.0)

---
updated-dependencies:
- dependency-name: redis.clients:jedis
  dependency-version: 7.2.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

pom.xml

@@ -87,7 +87,7 @@
         <dependency>
             <groupId>redis.clients</groupId>
             <artifactId>jedis</artifactId>
-            <version>7.1.0</version>
+            <version>7.2.0</version>
         </dependency>
         <dependency>
             <groupId>info.picocli</groupId>