Instytut Informatyki
Serwer GitLab
Logowanie jest możliwe z użyciem kont z serwera LDAP. Dostęp do starego serwera zostanie ograniczony z końcem lutego 2024r.
Przeniesienie danych ze starego serwera można zrealizować poprzez bezpośredni import (używając protokołu HTTPS) lub ręcznie. Druga metoda wymaga wstępnego utworzenia pustego projektu. Następnie należy wykonać:
-
Pobranie kompletnego projektu (łącznie z branches i tags) ze starego serwera:
$ git clone --mirror ORIG_URI DIR $ cd DIR
Kompletność danych można zweryfikować komendami:
$ git branch -a $ git tag
-
Ustawienie wskazania na nowy serwer:
$ git remote rm origin $ git remote add origin NEW_URI
-
Skopiowanie danych na nowy serwer:
$ git push -u origin --all $ git push -u origin --tags
-
Ręczne odtworzenie zdefiniowanie uprawnień dostępu do nowego repozytorium.