From a67da8a133f9dd8cd1b5a3eea58b01efb0beac12 Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <aider@paulg.org>
Date: Mon, 29 Jul 2024 13:13:56 -0300
Subject: [PATCH] Update the modification date in the leaderboard index page
 based on the latest modification time of the related files

---
 aider/website/docs/leaderboards/index.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md
index e5284b0ec..325e5474d 100644
--- a/aider/website/docs/leaderboards/index.md
+++ b/aider/website/docs/leaderboards/index.md
@@ -11,9 +11,15 @@ last updated
 import os
 import datetime
 
-file_path = 'aider/website/docs/leaderboards/index.md'
-mod_time = os.path.getmtime(file_path)
-mod_date = datetime.datetime.fromtimestamp(mod_time)
+files = [
+    'aider/website/docs/leaderboards/index.md',
+    'aider/website/_data/edit_leaderboard.yml',
+    'aider/website/_data/refactor_leaderboard.yml'
+]
+
+mod_times = [os.path.getmtime(file) for file in files]
+latest_mod_time = max(mod_times)
+mod_date = datetime.datetime.fromtimestamp(latest_mod_time)
 cog.out(f"{mod_date.strftime('%B %d, %Y.')}")
 ]]]-->
 July 29, 2024.