Ankuendigung: Live Schaltung Shell Server am 22.05.2020

[Stefan Hagen <sh@xxxxxxxxx>]

Hallo Liste,

es folgt der zweite Anlauf den neuen Shell Server in den
Produktivbetrieb zu ueberfuehren.

shell.new.uugrn.org ist seit Februar verfuegbar. Eure User Accounts wurden
migriert (in sofern euer SSH Pubkey lesbar ist). Solltet ihr Probleme
beim Zugriff haben, meldet euch.

Wir werden shell.new.uugrn.org nach shell.uugrn.org umbenennen.
Gleichzeitig werden wir den alten shell server unter shell.old.uugrn.org
weiter betreiben. Ihr habt also einen Fallback.

Viele Gruesse,
Stefan