[MediaWiki-commits] [Gerrit] tools: Remove redundant k8s::proxy include - change (operations/puppet)

Yuvipanda has submitted this change and it was merged. Change subject: tools: Remove redundant k8s::proxy include .. tools: Remove redundant k8s::proxy include Change-Id: I38bab82f4d46760d4a76234bc5fd98502e5770f6 --- M

[MediaWiki-commits] [Gerrit] tools: Remove redundant k8s::proxy include - change (operations/puppet)

Yuvipanda has uploaded a new change for review. https://gerrit.wikimedia.org/r/242451 Change subject: tools: Remove redundant k8s::proxy include .. tools: Remove redundant k8s::proxy include Change-Id: