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