ci: migrate docker to gitlab Dependency Proxy
Complete the transition from morgana-harbor.psi.ch to gitlab Dependency Proxy
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
Complete the transition from morgana-harbor.psi.ch to gitlab Dependency Proxy