Redis Make an 8.0 release?

Blog says 8.0 is released, But is there a tagged release? I see an 8.0 branch:

% git log -1                                          
commit 7cd656a0c371a87ffbf1505e2eb9efd9342c50c8 (HEAD -> 8.0, tag: 8.0-rc2-int, origin/8.0)
Merge: b0403f1fa 14dd59ab1
Author: YaacovHazan <yaacov.hazan@redis.com>
Date:   Mon Apr 28 05:56:36 2025

    Merge remote-tracking branch 'upstream/unstable' into HEAD

but the --version string says

% ./redis-cli --version                  
redis-cli 7.9.240 (git:7cd656a0)

shouldn't this be 8.0? Is there an official release commit?

Comment From: openssh-user

By the way about returning to using an open license: They can't sit on two chairs. So funny.

Comment From: ghost

https://github.com/redis/redis/releases/tag/8.0.0

Comment From: gabrielrbarbosa

Can this be updated in dockerhub also? https://github.com/redis/docker-library-redis

Comment From: nalcabio-tom

Can this be updated in dockerhub also?

https://github.com/redis/docker-library-redis/tree/release/8.0 It seems at least some work on it has been started already.