GitLab und Mattermost Server des Studiengangs IMI

Table of contents

Allgemeines

Der Studiengang IMI stellt unter gl-imi.f4.htw-berlin.de einen GitLab Server zur Verfügung. Sie können sich auf dem Server außerhalb des HTW Netzes nur anmelden, wenn Sie über VPN verbunden sind. Alles notwendige zu VPN Verbindungen finden Sie auf den entsprechenden Seiten des HRZ.

Zur Anmeldung verwenden Sie bitte Ihren HRZ Benutzernamen (z.B. s0123456) und ihr HRZ Passwort.

Beachten Sie bitte immer die aktuellen Hinweise auf der Anmeldeseite des Servers.

Halten Sie Ihre lokalen git Repositories zu Ihrer eigenen Sicherheit immer aktuell zum Stand auf dem GitLab Server.

Bitte beachten Sie: nach Ablauf jedes Semesters werden Benutzer, die nicht mehr an der HTW sind, vom Gitlab Server gelöscht.

Der GitLab Server stellt auch Mattermost zur Verfügung, Sie erreichen diesen Service über chat-imi.f4.htw-berlin.de ebenfalls über VPN. Zum Login verwenden Sie ebenfalls Ihren HRZ Namen und Ihr Passwort.

Abschaltung dieser Dienste in 2023

Bitte beachten Sie: diese beiden Dienste werden zwischen dem ersten und zweiten Prüfungszeitraum im Wintersemester 2023 dauerhaft abgeschaltet.

Der Dienst Mattermost auf chat-imi.f4.htw-berlin.de wird nicht weiter angeboten. Das HRZ bietet mit Zenkit einen ähnlichen Dienst an.

Benutzer des Gitlab Servers gl-imi.f4.htw-berlin.de migrieren Ihre Projekte bitte zum GitLab Servers des HRZ. Lesen Sie dazu bitte die folgende Anleitung.

Migration Ihrer Projekte von gl-imi.f4.htw-berlin.de nach gitlab.rz.htw-berlin.de

In den folgenden Beispielen wird der Benutzer imitest verwendet, Sie verwenden bitte Ihren HRZ Benutzernamen, also z.B. s0123456, wobei die Ziffern Ihre Matrikelnummer darstellen.

Es wird weiterhin angenomen, das Sie Ihr Repository auf gl-imi.f4.htw-berlin.de über das SSH Protokoll ansprechen und dort einen oder mehrere Public Key hinterlegt haben. Falls Sie statt SSH das Protokoll HTTPS verwenden, müssen Sie an einige Stellen in dieser Anleitung Ihren Benutzernamen und Ihr Passwort angeben.

1. Vorarbeiten auf Ihren lokalen Repositories

Sie sollten sicherheitshalber dafür sorgen, das Ihre lokalen Repositories mit Ihrem Projekt auf gl-imi.f4.htw-berlin.de auf dem gleichen Stand sind. Verwenden Sie dazu die Befehle git status, ggfs git add, git commit und git push sowie ggfs git pull. Idealerweise sehen Ihre lokalen Repositories so aus:

Anmerkung: wenn Sie HTTPS verwenden, müssen Sie hier Ihren Benutzernamen und Ihr Passwort angeben.

2. Export Ihres Projektes von gl-imi.f4.htw-berlin.de

Loggen Sie sich auf gl-imi.f4.htw-berlin.de ein. Navigieren Sie zu Ihrem Projekt. Klicken Sie im linken Navigationsbereich auf Settings->General und dann auf Advanced. Klicken Sie dort auf Export project:

Warten Sie kurz ab und klicken Sie dann auf Download export:

Speichern Sie die Datei an einem geeigneten Ort. Sie erhalten über den Export auch eine email und können die Datei auch in dem enthaltenen Link herunterladen. Melden Sie sich von gl-imi.fa.htw-berlin.de ab.

3. Import Ihres Projektes auf gitlab.rz.htw-berlin.de

Melden Sie sich an gitlab.rz.htw-berlin.de an. Wenn Sie auf gl-imi.htw-berlin.de einen oder mehrere Public Key hinterlegt haben, fügen Sie diese Keys Ihrem Profil hinzu. Erstellen Sie dann ein neues Projekt. Wählen Sie auf der entprechenden Seite dann allerdings Import project. Klicken Sie auf der folgenden Seite auf (Import project from) Gitlab export:

Geben Sie den Namen Ihres Projekts unter Project name ein. Klicken Sie auf Durchsuchen und fügen Sie ihre exportierte Datei an:

Klicken Sie auf Import project. Ihr Projekt wird importiert:

Sie können sich nun von gitlab.rz.htw-berlin.de abmelden.

4. Remote auf Ihren lokalen Repositories umstellen

Geben Sie auf Ihrem lokalen Repository den Befehl git remote -v ein:

Beachten Sie den von git verwendeten Namen des Remote Servers, hier origin. Dieser Name kann bei Ihnen anders lauten. Sie müssen den nächsten Befehl dann entsprechend anpassen.

Beachten Sie auch: wenn Sie HTTPS verwenden, beginnen die angezeigten URL mit https:// (statt git@). Ausserdem folget dann hinter dem Hostnamen des GitLab Servers ein / (statt :). Sie müssen den nächsten Befehl dann entsprechend anpassen.

Geben Sie nun den neuen Server mit dem Befehl

git remote set-url origin git@gitlab.rz.htw-berlin.de:IhrName/IhrProjektName

an und überprüfen Sie das Ergebnis ggfs erneut mit git remote -v: