From 7d04fc2183205d60533d0ef75cb97f2c31af39d6 Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <aider@paulg.org>
Date: Mon, 29 Jul 2024 13:09:32 -0300
Subject: [PATCH] Add Python code to print the last modified date of the
 leaderboards index.md file

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

diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md
index 45753d05b..8775791d5 100644
--- a/aider/website/docs/leaderboards/index.md
+++ b/aider/website/docs/leaderboards/index.md
@@ -6,10 +6,14 @@ description: Quantitative benchmarks of LLM code editing skill.
 
 <p class="post-date">
 <!--[[[cog
-# TODO: write python code in here to print out the last modified date
-of aider/webside/docs/leaderboard.md in the format below ending with ","
+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)
+print(f"{mod_date.strftime('%B %d, %Y')},")
 ]]]-->
-{{ page.date | date: "%B %d, %Y" }}, 
 <!--[[[end]]]-->
 by Paul Gauthier
 </p>