Migration of common-lisp.net CVS repositories -- GitLab push e-mail configuration