Repository on GitHub
While the migration is more or less done, we should think about what we do with the Github-Repository. Archiving and link to GitLab?
While the migration is more or less done, we should think about what we do with the Github-Repository. Archiving and link to GitLab?