Move URLs to GitHub

This commit is contained in:
Tom Wiesing 2021-09-03 12:49:17 -04:00
parent c11509e34e
commit 4a5f3376be
No known key found for this signature in database
GPG key ID: DC1F29F2BC78AB15
3 changed files with 3 additions and 3 deletions

View file

@ -9,7 +9,7 @@ hardware pool. Like the WissKI system, the WissKI Distillery is open source and
use.
This README contains the technical documentation,
[user-level documentation is on the project wiki](https://gitlab.cs.fau.de/AGFD/wisski-distillery/-/wikis/Documentation).
[user-level documentation is on the project wiki](https://github.com/FAU-CDI/wisski-distillery/-/wikis/Documentation).
FAU Erlangen-Nürnberg operates a WissKI cloud at https://wisski.agfd.fau.de (see details
there). That serves as the reference deployment and drives the development for the WissKI
Distillery.

View file

@ -184,7 +184,7 @@ if [ -n "$SELF_REDIRECT" ]; then
exit 1;
fi;
else
SELF_REDIRECT="https://gitlab.cs.fau.de/AGFD/wisski-distillery"
SELF_REDIRECT="https://github.com/FAU-CDI/wisski-distillery"
fi
# The 'GLOBAL_AUTHORIZED_KEYS_FILE' should point to a real file

View file

@ -2,7 +2,7 @@
# Meta Settings
#######################
# The target path to redirect to
TARGET=https://gitlab.cs.fau.de/AGFD/wisski-distillery
TARGET=https://github.com/FAU-CDI/wisski-distillery
# path to .json
SELF_OVERRIDES_FILE=/overrides.json