git user fix

This commit is contained in:
randogoth 2026-07-23 12:53:09 +02:00
parent 4e48084aae
commit 9fe68211f6

View file

@ -19,6 +19,7 @@ in
SSH_PORT = 2222; # advertised in clone URLs SSH_PORT = 2222; # advertised in clone URLs
SSH_LISTEN_PORT = 2222; # built-in server listen port SSH_LISTEN_PORT = 2222; # built-in server listen port
SSH_USER = "git"; # login user in clone URLs (default is the run user) SSH_USER = "git"; # login user in clone URLs (default is the run user)
BUILTIN_SSH_SERVER_USER = "git"; # login user the built-in server accepts
# SSH_DOMAIN defaults to DOMAIN (code.randogoth.com) # SSH_DOMAIN defaults to DOMAIN (code.randogoth.com)
}; };
service = { service = {