pkg.sh: release: Push without JW_PKG_SSH_EXTRA_OPTS

Currently, completing a release works with a plain git push. It may push to several repos, depending on how the client repo's origin's pushurl is configured. Those repos may have different user names, and if the ssh wrapper added -l via JW_PKG_SSH_EXTRA_OPTS, the push would fail. Hence, disable JW_PKG_SSH_EXTRA_OPTS for that case.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2026-05-13 12:45:51 +02:00
commit ec92d89295
Signed by: Jan Lindemann
GPG key ID: 3750640C9E25DD61

View file

@ -658,7 +658,8 @@ upload_pkg()
$SSH -l root $server /opt/packager-server/bin/packager-server schedule-rebuild
scm_commit -m "Release $v@`platform`" $TOPDIR/RELEASES $TOPDIR/HASH
if [ "$SCM" = git ]; then
git push || true
# Don't use extra options, they might contain -l
JW_PKG_SSH_EXTRA_OPTS="" git push || true
fi
}