To focus on other lint errors, I disabled mypy. But we should re-enable it and fix the errors it raises.
To focus on other lint errors, I disabled mypy. But we should re-enable it and fix the errors it raises.