Subject: bug#76919: closed ([mumi] [PATCH] README: Add instructions for initializing nested git submodules)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 10 Mar 2025 15:43:01 +0000

Your message dated Mon, 10 Mar 2025 15:41:46 +0000
with message-id <[email-masked]>
and subject line Re: [mumi] [PATCH] README: Add instructions for initializing nested git submodules
has caused the debbugs.gnu.org bug report #76919,
regarding [mumi] [PATCH] README: Add instructions for initializing nested git submodules
to be marked as done.

(If you believe you have received this mail in error, please contact
[email-masked].)

-- 
76919: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76919
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: [mumi] [PATCH] README: Add instructions for initializing nested git submodules
From: Rostislav Svoboda <[email-masked]>
To: [email-masked], [email-masked]
Cc: Rostislav Svoboda <[email-masked]>
Date: Mon, 10 Mar 2025 15:46:02 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

---
 README.org | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/README.org b/README.org
index d36585c..66b7b13 100644
--- a/README.org
+++ b/README.org
@@ -5,8 +5,13 @@ frontend to Debbugs.
 
 * Hacking
 
-To enter a development environment with all dependencies installed,
-run
+To initialize, fetch and checkout any nested submodules run
+
+#+BEGIN_SRC shell
+  $ git submodule update --init --recursive
+#+END_SRC
+
+To enter a development environment run
 
 #+BEGIN_SRC shell
   $ guix shell -D mumi
-- 
2.48.1

Subject: Re: [mumi] [PATCH] README: Add instructions for initializing nested git submodules
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Rostislav Svoboda <[email-masked]>
Date: Mon, 10 Mar 2025 15:41:46 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Thank you, Bost! Applied and pushed! :-)

Next time, send mumi patches to [email-masked], instead of
[email-masked]. Otherwise, all good.