run-mypy: Add --version to check the version of mypy used.
run-mypy: Add --version to check the version of mypy used.

hackerkid/zulip,eeshangarg/zulip,mahim97/zulip,zulip/zulip,zulip/zulip,andersk/zulip,showell/zulip,timabbott/zulip,jackrzhang/zulip,zulip/zulip,mahim97/zulip,shubhamdhama/zulip,timabbott/zulip,dhcrzf/zulip,punchagan/zulip,synicalsyntax/zulip,mahim97/zulip,jackrzhang/zulip,tommyip/zulip,hackerkid/zulip,Galexrt/zulip,brainwane/zulip,punchagan/zulip,kou/zulip,timabbott/zulip,kou/zulip,rishig/zulip,showell/zulip,amanharitsh123/zulip,amanharitsh123/zulip,Galexrt/zulip,andersk/zulip,synicalsyntax/zulip,rishig/zulip,tommyip/zulip,kou/zulip,punchagan/zulip,shubhamdhama/zulip,rht/zulip,shubhamdhama/zulip,andersk/zulip,rht/zulip,zulip/zulip,kou/zulip,showell/zulip,brockwhittaker/zulip,brainwane/zulip,jackrzhang/zulip,amanharitsh123/zulip,tommyip/zulip,synicalsyntax/zulip,punchagan/zulip,shubhamdhama/zulip,shubhamdhama/zulip,brockwhittaker/zulip,Galexrt/zulip,timabbott/zulip,brainwane/zulip,rishig/zulip,dhcrzf/zulip,rht/zulip,punchagan/zulip,dhcrzf/zulip,brockwhittaker/zulip,rht/zulip,brainwane/zulip,eeshangarg/zulip,jackrzhang/zulip,zulip/zulip,rishig/zulip,rishig/zulip,kou/zulip,eeshangarg/zulip,andersk/zulip,tommyip/zulip,mahim97/zulip,rht/zulip,eeshangarg/zulip,synicalsyntax/zulip,kou/zulip,kou/zulip,rht/zulip,rht/zulip,dhcrzf/zulip,Galexrt/zulip,mahim97/zulip,shubhamdhama/zulip,hackerkid/zulip,showell/zulip,amanharitsh123/zulip,jackrzhang/zulip,zulip/zulip,synicalsyntax/zulip,Galexrt/zulip,tommyip/zulip,mahim97/zulip,brainwane/zulip,tommyip/zulip,Galexrt/zulip,dhcrzf/zulip,brockwhittaker/zulip,synicalsyntax/zulip,andersk/zulip,showell/zulip,punchagan/zulip,amanharitsh123/zulip,punchagan/zulip,andersk/zulip,eeshangarg/zulip,dhcrzf/zulip,showell/zulip,timabbott/zulip,brockwhittaker/zulip,eeshangarg/zulip,amanharitsh123/zulip,synicalsyntax/zulip,eeshangarg/zulip,hackerkid/zulip,zulip/zulip,timabbott/zulip,rishig/zulip,brainwane/zulip,jackrzhang/zulip,rishig/zulip,hackerkid/zulip,hackerkid/zulip,hackerkid/zulip,Galexrt/zulip,brockwhittaker/zulip,timabbott/zulip,jackrzhang/zulip,andersk/zulip,brainwane/zulip,showell/zulip,tommyip/zulip,shubhamdhama/zulip,dhcrzf/zulip