Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/web

1 files changed, 0 insertions, 10 deletions

diff --git a/source_repositories/incubator.mdwn b/source_repositories/incubator.mdwn
index 5e974cae..6d61a9e7 100644
--- a/source_repositories/incubator.mdwn
+++ b/source_repositories/incubator.mdwn
@@ -24,8 +24,6 @@ its branches, usually as a subdirectory of the current repository.
 The advantage of using it for `incubator` is that only one clone is needed,
 and it can be possible to work simultaneously on many branches (instead of
 only on the current branch of that clone).
-The drawback is that updating a subrepository requires updating its branch
-on the main clone first.
 
 Let's start checking out the `incubator` repository:
 
@@ -46,11 +44,3 @@ simplicity, but can be created anywhere else:
 After this, a new `tarfs` subdirectory appears, which represents the
 `tarfs/master` branch.  You can normally work on this new repository as usual.
 
-As said earlier, updating `tarfs` requires fetching/pulling in `incubator`
-first:
-
-    $ cd incubator/
-    incubator$ git pull/fetch
-    incubator$ cd tarfs/
-    tarfs$ git pull/fetch
-