From 52a33e718da1b09e747935c621f445d9cf7afb69 Mon Sep 17 00:00:00 2001
From: Noah Lev <camelidcamel@gmail.com>
Date: Thu, 26 Aug 2021 16:34:43 -0700
Subject: [PATCH] date-check: Recognize capitalized 'Date' as well

Now, if people use 'Date' instead of 'date', it won't be ignored.
---
 ci/date-check/src/main.rs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/ci/date-check/src/main.rs b/ci/date-check/src/main.rs
index d78b430b..bbea2bf3 100644
--- a/ci/date-check/src/main.rs
+++ b/ci/date-check/src/main.rs
@@ -39,7 +39,7 @@ fn make_date_regex() -> Regex {
     Regex::new(
         r"(?x) # insignificant whitespace mode
         <!--\s*
-        date:\s*
+        [dD]ate:\s*
         (?P<y>\d{4}) # year
         -
         (?P<m>\d{2}) # month
@@ -186,6 +186,12 @@ mod tests {
         assert!(regex.is_match("foo <!-- date: 2021-01 --> bar"));
     }
 
+    #[test]
+    fn test_date_regex_capitalized() {
+        let regex = make_date_regex();
+        assert!(regex.is_match("foo <!-- Date: 2021-08 --> bar"));
+    }
+
     #[test]
     fn test_collect_dates_from_file() {
         let text = "Test1\n<!-- date: 2021-01 -->\nTest2\nFoo<!-- date: 2021-02 \