GitLab has an option to properly archive a module: https://docs.gitlab.com/ee/user/project/settings/#archive-a-project. I think this applies here. This needs to be done by a maintainer/owner though @andreas.dedner
will do
GitLab has an option to properly archive a module: https://docs.gitlab.com/ee/user/project/settings/#archive-a-project. I think this applies here. This needs to be done by a maintainer/owner though @andreas.dedner