Add a reference to the shared docker registry.
According to the ticket https://support.inria.fr/Ticket/Display.html?id=273038 we should add an entry in the shared runner section to explain that people can use the shared docker registry. Thierry explanation:
Je pense que c’est le problème récurrent de dépassement de quota sur docker.io pour l’ip des shared runners : il faut qu’on arrive à corriger ce problème de façon pérenne, mais en attendant j’ai fait un miroir d’images docker couramment utilisées, qu’on peut utiliser dans le FROM à la place des images officiels. Par exemple : FROM registry.gitlab.inria.fr/inria-ci/docker/ubuntu:20.04. Les images disponibles dans le miroir sont ici : https://gitlab.inria.fr/inria-ci/docker/container_registry . Ne pas hésiter à en demander d’autres si besoin !