change git server.
This commit is contained in:
parent
1945c66862
commit
bb9ade542e
1 changed files with 1 additions and 1 deletions
|
@ -136,6 +136,7 @@ in
|
|||
hosts.orbi
|
||||
"orbi"
|
||||
"95.216.66.212"
|
||||
"git.ingolf-wagner.de"
|
||||
];
|
||||
publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICTqV5ch4BokqDniDgCquRwfTz6aXXMTdZovIvqShfLV";
|
||||
};
|
||||
|
@ -145,7 +146,6 @@ in
|
|||
hosts.robi
|
||||
"robi"
|
||||
"144.76.13.147"
|
||||
"git.ingolf-wagner.de"
|
||||
"taskd.ingolf-wagner.de"
|
||||
];
|
||||
publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIK2PGX6cZuBUGX4VweMzi0aRh4uQ61yngCzZGcK3w5XV";
|
||||
|
|
Loading…
Reference in a new issue