Kill metrics-counter and install_patch gate mutation survivors (#27, #28) - #33

Kill metrics-counter and install_patch gate mutation survivors (#27, #28)#33

leynos wants to merge 2 commits into

kill-mutation-survivorsleynos/pylint-pypy-shim:kill-mutation-survivorsfrom

kill-mutation-survivor-metrics-gatesleynos/pylint-pypy-shim:kill-mutation-survivor-metrics-gatesCopy head branch name to clipboard