From 0260d9017446621de5ec57ed3b31f9c34334a8f4 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Th=C3=A9r=C3=A8se=20Godefroy?= <godef.th@free.fr>
Date: Wed, 21 Sep 2022 22:02:47 +0200
Subject: [PATCH] copy-enc-to-live & replace-lang-picker: minor tweak.

---
 copy-enc-to-live    | 2 ++
 replace-lang-picker | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/copy-enc-to-live b/copy-enc-to-live
index 8f4a2c9..1a228d0 100755
--- a/copy-enc-to-live
+++ b/copy-enc-to-live
@@ -52,3 +52,5 @@ git add $lang
 git commit -m "$lang: synchronize with enc $commit."
 
 replace-lang-picker
+git commit --amend
+
diff --git a/replace-lang-picker b/replace-lang-picker
index 4b9b551..d43dac3 100755
--- a/replace-lang-picker
+++ b/replace-lang-picker
@@ -38,4 +38,4 @@ done
 
 # Commit the changes.
 git add */index.html */workshops.html
-git commit -m "index & workshops: update the language picker."
+#git commit -m "index & workshops: update the language picker."
-- 
2.25.1