fix other missing timezone bug in post_issue_on_zulip.py

leanprover-community · Jan 7, 2024 · dfef623 · dfef623
1 parent 8b57690
commit dfef623
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/post_issue_on_zulip.py b/post_issue_on_zulip.py
@@ -40,7 +40,7 @@ def message_date(id):
     min_age = now - delta
     if i.updated_at < min_age \
          and 'blocked-by-other-PR' not in [l.name for l in i.labels] \
-             and not (i.number in posted_topics and datetime.datetime.fromtimestamp(posted_topics[i.number]) > min_age):
+             and not (i.number in posted_topics and datetime.datetime.fromtimestamp(posted_topics[i.number], tz=datetime.timezone.utc) > min_age):
         if i.pull_request:
             open_prs.append(i)
         else: