From 1543338543c5568e1ae221affb5e64fa39fdb079 Mon Sep 17 00:00:00 2001
From: Damien Picard <dam.pic@free.fr>
Date: Mon, 22 Jun 2026 16:44:53 +0200
Subject: [PATCH] Credits Script: Use padding for month and day in date

Credits are generated with a footer that reads
"Generated by 'credits_git_gen.py' 2026/6/22".
It is better to pad the month and day so that they appear as
"2026/06/02".

Ref !160527
---
 tools/utils/credits_git_gen.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/utils/credits_git_gen.py b/tools/utils/credits_git_gen.py
index 6a247dcff07..76261a00397 100755
--- a/tools/utils/credits_git_gen.py
+++ b/tools/utils/credits_git_gen.py
@@ -258,7 +258,7 @@ class Credits:
             now = datetime.datetime.now()
             fn = os.path.basename(__file__)
             fh.write(
-                "<p><center><i>Generated by '{:s}' {:d}/{:d}/{:d}</i></center></p>\n".format(
+                "<p><center><i>Generated by '{:s}' {:d}/{:02d}/{:02d}</i></center></p>\n".format(
                     fn, now.year, now.month, now.day,
                 ))