Current workaround:
tools.wikibugs@tools-sgebastion-10:~$ kubectl get pods NAME READY STATUS RESTARTS AGE grrrrit-654c5cbbf-gc4ns 1/1 Running 0 16m redis2irc-7bbc8dc544-kms8k 1/1 Running 0 3m27s wikibugs-phab-858dbb66fb-vvldc 1/1 Running 0 16m tools.wikibugs@tools-sgebastion-10:~$ kubectl delete pod redis2irc-7bbc8dc544-kms8k
but needing to use kubectl directly is not very convenient.