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