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

> 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:
>> 
>> URL: https://cgit.FreeBSD.org/ports/commit/?id=1559e70f1eabd1ec3d3961d99b9c779ca6342edf
>> 
>> commit 1559e70f1eabd1ec3d3961d99b9c779ca6342edf
>> Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
>> AuthorDate: 2025-08-19 04:56:40 +0000
>> Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
>> CommitDate: 2025-08-19 06:45:39 +0000
>> 
>>    databases/redis-devel: Update version 8.0.2.20250630=>8.0.3.20250731
>> ---
>> databases/redis-devel/Makefile | 4 ++--
>> databases/redis-devel/distinfo | 6 +++---
>> 2 files changed, 5 insertions(+), 5 deletions(-)
>> 
>> 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?
> 
> Thank you.
> 
> --
> Sergey A. Osokin


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.

Kind regards,
Moin