Release Redis version 8.0.2

Author: adobrzhansky

.github/workflows/apt.yml

@@ -49,7 +49,7 @@ jobs:
           redis_*.orig.tar.gz
 
   build-binary-package:
-    runs-on: ${{ matrix.arch == 'arm64' && 'ubuntu24-arm64-4-16' || 'ubuntu-22.04' }}
+    runs-on: ${{ (matrix.arch == 'arm64' || matrix.arch == 'armhf') && 'ubuntu24-arm64-4-16' || 'ubuntu-22.04' }}
     strategy:
       fail-fast: false
       matrix:
@@ -68,6 +68,9 @@ jobs:
             arm64)
                 BUILD_ARCH=arm64
                 ;;
+            armhf)
+                BUILD_ARCH=armhf
+                ;;
             *)
                 BUILD_ARCH=amd64
                 ;;

debian/changelog

@@ -1,3 +1,9 @@
+redis (6:8.0.2-1rl1~@RELEASE@1) @RELEASE@; urgency=low
+
+  * Redis 8.0.2: https://github.com/redis/redis/releases/tag/8.0.2
+
+ -- Redis Team <[email protected]>  Fri, 30 May 2025 10:47:02 +0300
+
 redis (6:8.0.1-1rl1~@RELEASE@1) @RELEASE@; urgency=low
 
   * Redis 8.0.1: https://github.com/redis/redis/releases/tag/8.0.1