Archive Project

Wie besprochen wurden GTC_Web und OCR4all zu GitHub umgezogen. Daher sollte dieses Repo "deaktiviert" werden, z. B. durch eine Archivierung in Settings -> General.

Die Push-URL können über die Befehle

git remote set-url origin <github-url>

aktualisiert werden.