chore: add in time for RSS feed

Spec https://validator.w3.org/feed/docs/error/InvalidRFC2822Date.html

Author: erictleung

convert_json.py

@@ -44,11 +44,16 @@ def rss_item(title: str | None = None,
         item.append(ET.Element("pubDate"))
 
         # Make sure months are processed correctly when there's some inconsistency
-        # https://docs.python.org/3/library/datetime.html#format-codes 
+        # https://docs.python.org/3/library/datetime.html#format-codes
+        # 09:00:00 EST is set as default for simplicity
         if pubDate.split(' ')[0] in calendar.month_name:
-            fmt_date = datetime.strptime(pubDate, "%B %d, %Y").strftime("%d %b %Y")
+            fmt_date = (datetime
+                        .strptime(pubDate, "%B %d, %Y 09:00:00 EST")
+                        .strftime("%d %b %Y"))
         elif pubDate.split(' ')[0] in calendar.month_abbr:
-            fmt_date = datetime.strptime(pubDate, "%b %d, %Y").strftime("%d %b %Y")
+            fmt_date = (datetime
+                        .strptime(pubDate, "%b %d, %Y 09:00:00 EST")
+                        .strftime("%d %b %Y"))
         else:
             fmt_date = '01 January 1970'  # Just default to UNIX start
         item[-1].text = fmt_date