[adelie-project] Re: Removing old Git repositories from GitLab