From 2a4ce8ce5510424e7ee99c2272f308c67a2173d1 Mon Sep 17 00:00:00 2001
From: bebbo <bebbo@bejy.net>
Date: Thu, 19 Jan 2023 08:29:08 +0100
Subject: [PATCH] update ... ... does NOT exist!

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3d33f43..8da0511 100644
--- a/Makefile
+++ b/Makefile
@@ -1045,7 +1045,11 @@ branch:
 	    mv .repos .repos.bak; \
 	    grep -v $(mod) .repos.bak > .repos; \
 	    echo "$(mod) $$url $(branch)" >> .repos; \
-		$(MAKE) update-repos; \
+	    pushd projects/$(mod); \
+	    git fetch origin $(branch):$(branch); \
+	    git checkout $(branch); \
+	    git branch --set-upstream-to=origin/$(branch) $(branch); \
+	    popd ; \
 	else \
 		echo "$(mod) $(branch) does NOT exist!"; \
 	fi