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

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

Your bug report

#76919: [mumi] [PATCH] README: Add instructions for initializing nested git submodules

which was filed against the mumi package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

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

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.

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