Use hard-coded default credentials for srvrco when GitHub secrets are not installed. This is a security issue for srvrco, but a fix seems to be difficult.