From e5fa3b19024c86c1dde38a37083a6c3945b21166 Mon Sep 17 00:00:00 2001
From: Utz-Uwe Haus <uhaus@cray.com>
Date: Mon, 22 Nov 2021 19:25:25 +0100
Subject: [PATCH] Add remark how to fix weird git subtree pull issues

---
 INSTALL.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index b0bee5d6..8fcbc218 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -42,6 +42,15 @@ To update a dependency project (e.g. mamba) subtree please do
 git subtree pull --prefix=deps/mamba --squash git@gitlab.com:cerl/mamba.git master
 ```
 
+If `git` refuses to do the subtree update insisting 'repo was never added', create a remote for the repo, e.g.,
+
+```
+git remote add -f ofiwg  git@github.com:ofiwg/libfabric.git 
+```
+
+and use that repo name for the `subtree pull` command.
+
+
 
 # Building
 
-- 
GitLab