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@<forge> remote URIs.
Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
parent
c0fc259de8
commit
45f1105f34
1 changed files with 1 additions and 1 deletions
|
|
@ -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-%:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue