maintainers/release-notes: Improve DATE check

Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
This commit is contained in:
Robert Hensing 2023-11-27 15:18:29 +01:00 committed by GitHub
parent e7e21aa0c8
commit f7bfec2806
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -134,7 +134,7 @@ if [[ ! -n "${DATE:-}" ]]; then
fi fi
case "$DATE" in 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)" die "DATE must be YYYY-MM-DD, e.g. 2021-12-31 (DATE was set to $DATE)"