From f7bfec2806708573798d610cda101f27a24d9218 Mon Sep 17 00:00:00 2001
From: Robert Hensing <roberth@users.noreply.github.com>
Date: Mon, 27 Nov 2023 15:18:29 +0100
Subject: [PATCH] maintainers/release-notes: Improve DATE check

Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
---
 maintainers/release-notes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintainers/release-notes b/maintainers/release-notes
index 2e1be64a4..34cd85a56 100755
--- a/maintainers/release-notes
+++ b/maintainers/release-notes
@@ -134,7 +134,7 @@ if [[ ! -n "${DATE:-}" ]]; then
 fi
 
 case "$DATE" in
-  [0-9]*-[0-9]*-[0-9]*)
+  [0-9][0-9][0-9][0-9]-[0-9][0-9]-[0-9][0-9])
     ;;
   *)
     die "DATE must be YYYY-MM-DD, e.g. 2021-12-31 (DATE was set to $DATE)"