Admin message
The gitlab.common-lisp.net system has migrated to a new host. One consequence of this is that the remotes for all cloned repos must now refer to the host gitlab.common-lisp.net rather than simply common-lisp.net.
You can see your current remotes from a cloned directory with git remote -v
If you see common-lisp.net in there without the gitlab. in front of it, then please update your remotes by using e.g. the following command:
git remote set-url origin git@gitlab.common-lisp.net:/{$user|$group}/{$repo}.git (assuming your remote name is origin).