Re: git: 1559e70f1eab - main - databases/redis-devel: Update version 8.0.2.20250630=>8.0.3.20250731

On Tue, Aug 19, 2025 at 05:22:44PM +0200, Moin Rahman wrote:
> > On Aug 19, 2025, at 15:18, Sergey A. Osokin <osa@freebsd.org> wrote:
> > 
> > Hi Muhammad,
> > thanks for the updating the port.
> > 
> > On Tue, Aug 19, 2025 at 06:46:00AM +0000, Muhammad Moinur Rahman wrote:
> >> The branch main has been updated by bofh:

[...]

> >> diff --git a/databases/redis-devel/Makefile b/databases/redis-devel/Makefile
> >> index ad4298ace6d1..7d454506de6d 100644
> >> --- a/databases/redis-devel/Makefile
> >> +++ b/databases/redis-devel/Makefile
> >> @@ -1,5 +1,5 @@
> >> PORTNAME= redis
> >> -DISTVERSION= 8.0.2.20250630
> >> +DISTVERSION= 8.0.3.20250731
> > 
> > I'm curious why is the redis' development version major number (8.0)
> > is less than of the stable version major number (8.2)?
> > Shouldn't it be 8.3 or 8.4?
> 
> I haven't actually tested the latest head yet. The tip of this version is from
> 20250731(suffixed at the end of the DISTVERSION) when the available version is
> supposed to be 8.0. Once I test and update the latest tip the version will
> change to match the current one from stable ports.

Well, my understanding is databases/redis-devel needs to be pointed
into the unstable branch of the project,
https://github.com/redis/redis/commits/unstable/.
Is there any objections on that?

Thank you.

-- 
Sergey A. Osokin