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ć:

1. 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

2. Ustawienie wskazania na nowy serwer:

   $ git remote rm origin
   $ git remote add origin NEW_URI

3. Skopiowanie danych na nowy serwer:

   $ git push -u origin --all
   $ git push -u origin --tags

4. Ręczne odtworzenie zdefiniowanie uprawnień dostępu do nowego repozytorium.