From 6f50ca62cb89d16a88fb96e448e83642b831e57e Mon Sep 17 00:00:00 2001
From: magicfelix <felix@felix-zauberer.de>
Date: Thu, 29 Apr 2021 17:15:57 +0200
Subject: [PATCH] Explain use of mr in dev docs

---
 docs/dev/01_setup.rst | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/docs/dev/01_setup.rst b/docs/dev/01_setup.rst
index 573452ee3..69b60f763 100644
--- a/docs/dev/01_setup.rst
+++ b/docs/dev/01_setup.rst
@@ -10,6 +10,7 @@ environment that contains AlekSIS and everything you need to run the
 framework and selected apps.
 
 Also, `Yarn`_ is needed to resolve JavaScript dependencies.
+For repository management, `myrepos` is required.
 
 Get the source tree
 -------------------
@@ -17,8 +18,12 @@ Get the source tree
 To download AlekSIS and all officially bundled apps in their
 development version, use Git like so::
 
-  git clone https://edugit.org/AlekSIS/official/AlekSIS-Core
+  git clone https://edugit.org/AlekSIS/official/AlekSIS
 
+This first downloads a meta repository that contains a config file for mr.
+To clone the AlekSIS-Core and all official (and onboarding) apps, run::
+
+  mr update
 
 Install native dependencies
 ---------------------------
-- 
GitLab