make / scripts: git.janware.com -> devgit.janware.com

janware upstream development server moved from git.janware.com to devgit.janware.com. This commit follows the move with pretty much a simple

s/git.janware.com/devgit.janware.com/

over jw-pkg. It found 14 matches, that's pretty bad.

FIXME: Reduce the redundancy, or, better, replace the devgit.janware.com goodies by a more generally useful concept altogether.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2026-05-12 15:09:37 +02:00
commit f6f6e56943
Signed by: Jan Lindemann
GPG key ID: 3750640C9E25DD61
7 changed files with 14 additions and 14 deletions

View file

@ -31,7 +31,7 @@ class CmdListRepos(Cmd): # export
password = await get_password(args=args, url=args.base_url, askpass_env=askpass_env)
match base_url.scheme:
case 'ssh':
if re.match(r'ssh://.*git\.janware\.com/', args.base_url):
if re.match(r'ssh://.*devgit\.janware\.com/', args.base_url):
from jw.pkg.lib.ec.SSHClient import SSHClient, ssh_client
if username is not None:
base_url.set_username(username)