From 45f1105f3475b0aab39fce64fc0d97dfabe019c6 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Thu, 14 May 2026 13:54:24 +0200 Subject: [PATCH] topdir.mk: get-pub without JW_PKG_EXTRA_SSH_OPTS Remove JW_PKG_EXTRA_SSH_OPTS before git pull in the context of get-pub / git-get-pub because it contains -l username, which collides with Forge-style git@ remote URIs. Signed-off-by: Jan Lindemann --- make/topdir.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/topdir.mk b/make/topdir.mk index 44084bb2..ff7443fa 100644 --- a/make/topdir.mk +++ b/make/topdir.mk @@ -209,7 +209,7 @@ git-get-maintainer: git-get-pub: if git remote | grep -q "^pub$$"; then \ - git pull pub master ;\ + JW_PKG_SSH_EXTRA_OPTS="" git pull pub master ;\ fi git-get-%: