An “ingress-controller-deploy” remains and should be deleted
Problem
When the ingress was moved to infra
by b6f5262a (#519 (closed), !487 (merged)), this file was forgotten.
When the ingress was moved to infra
by b6f5262a (#519 (closed), !487 (merged)), this file was forgotten.