[adelie-devel] Removing old Git repositories from GitLab