As we want to archive all project content we don't want to remove a repository that is no longer part of the project (because, for example, it has been archived or deleted from GitHub). We rather want to disable the synchronization to GitLab and keep it archived it in GitLab.