Add mypy bug number for check_redis type: ignore.
Add mypy bug number for check_redis type: ignore.

jackrzhang/zulip,zacps/zulip,sup95/zulip,AZtheAsian/zulip,Juanvulcano/zulip,andersk/zulip,souravbadami/zulip,PhilSk/zulip,paxapy/zulip,tommyip/zulip,zulip/zulip,JPJPJPOPOP/zulip,sharmaeklavya2/zulip,jphilipsen05/zulip,aakash-cr7/zulip,eeshangarg/zulip,brainwane/zulip,ahmadassaf/zulip,Diptanshu8/zulip,andersk/zulip,vikas-parashar/zulip,isht3/zulip,punchagan/zulip,blaze225/zulip,KingxBanana/zulip,christi3k/zulip,dhcrzf/zulip,paxapy/zulip,PhilSk/zulip,joyhchen/zulip,amanharitsh123/zulip,aakash-cr7/zulip,amanharitsh123/zulip,vabs22/zulip,jphilipsen05/zulip,showell/zulip,isht3/zulip,Galexrt/zulip,vikas-parashar/zulip,PhilSk/zulip,isht3/zulip,SmartPeople/zulip,dattatreya303/zulip,showell/zulip,ryanbackman/zulip,TigorC/zulip,aakash-cr7/zulip,shubhamdhama/zulip,Vallher/zulip,grave-w-grave/zulip,rishig/zulip,christi3k/zulip,arpith/zulip,niftynei/zulip,grave-w-grave/zulip,zulip/zulip,christi3k/zulip,Jianchun1/zulip,brockwhittaker/zulip,vabs22/zulip,umkay/zulip,cosmicAsymmetry/zulip,jrowan/zulip,Galexrt/zulip,jackrzhang/zulip,kou/zulip,shubhamdhama/zulip,grave-w-grave/zulip,Galexrt/zulip,rht/zulip,rht/zulip,sharmaeklavya2/zulip,souravbadami/zulip,punchagan/zulip,niftynei/zulip,cosmicAsymmetry/zulip,sonali0901/zulip,peguin40/zulip,timabbott/zulip,dhcrzf/zulip,zulip/zulip,verma-varsha/zulip,kou/zulip,susansls/zulip,samatdav/zulip,sup95/zulip,timabbott/zulip,souravbadami/zulip,vaidap/zulip,SmartPeople/zulip,shubhamdhama/zulip,krtkmj/zulip,andersk/zulip,susansls/zulip,peguin40/zulip,j831/zulip,umkay/zulip,souravbadami/zulip,JPJPJPOPOP/zulip,peguin40/zulip,calvinleenyc/zulip,andersk/zulip,jrowan/zulip,timabbott/zulip,jrowan/zulip,sharmaeklavya2/zulip,sonali0901/zulip,dawran6/zulip,sharmaeklavya2/zulip,verma-varsha/zulip,niftynei/zulip,jainayush975/zulip,Galexrt/zulip,peguin40/zulip,dawran6/zulip,samatdav/zulip,niftynei/zulip,synicalsyntax/zulip,Galexrt/zulip,sup95/zulip,rht/zulip,hackerkid/zulip,joyhchen/zulip,jainayush975/zulip,aakash-cr7/zulip,calvinleenyc/zulip,reyha/zulip,sonali0901/zulip,Diptanshu8/zulip,TigorC/zulip,brockwhittaker/zulip,jackrzhang/zulip,cosmicAsymmetry/zulip,Jianchun1/zulip,jainayush975/zulip,amyliu345/zulip,Juanvulcano/zulip,sharmaeklavya2/zulip,verma-varsha/zulip,punchagan/zulip,samatdav/zulip,showell/zulip,calvinleenyc/zulip,ryanbackman/zulip,mahim97/zulip,Vallher/zulip,mahim97/zulip,dawran6/zulip,krtkmj/zulip,JPJPJPOPOP/zulip,rishig/zulip,vaidap/zulip,jackrzhang/zulip,amyliu345/zulip,mahim97/zulip,susansls/zulip,Diptanshu8/zulip,brockwhittaker/zulip,AZtheAsian/zulip,AZtheAsian/zulip,paxapy/zulip,SmartPeople/zulip,paxapy/zulip,dattatreya303/zulip,hackerkid/zulip,KingxBanana/zulip,ryanbackman/zulip,brainwane/zulip,sup95/zulip,rht/zulip,ahmadassaf/zulip,reyha/zulip,j831/zulip,ahmadassaf/zulip,dhcrzf/zulip,JPJPJPOPOP/zulip,Diptanshu8/zulip,shubhamdhama/zulip,Jianchun1/zulip,TigorC/zulip,ahmadassaf/zulip,j831/zulip,j831/zulip,hackerkid/zulip,jainayush975/zulip,umkay/zulip,vabs22/zulip,christi3k/zulip,amyliu345/zulip,mohsenSy/zulip,mohsenSy/zulip,KingxBanana/zulip,jphilipsen05/zulip,samatdav/zulip,dattatreya303/zulip,shubhamdhama/zulip,vaidap/zulip,rht/zulip,susansls/zulip,timabbott/zulip,joyhchen/zulip,brainwane/zulip,verma-varsha/zulip,arpith/zulip,ahmadassaf/zulip,arpith/zulip,umkay/zulip,aakash-cr7/zulip,andersk/zulip,isht3/zulip,rht/zulip,TigorC/zulip,SmartPeople/zulip,hackerkid/zulip,hackerkid/zulip,vaidap/zulip,Juanvulcano/zulip,punchagan/zulip,jphilipsen05/zulip,timabbott/zulip,tommyip/zulip,sonali0901/zulip,peguin40/zulip,blaze225/zulip,hackerkid/zulip,zacps/zulip,tommyip/zulip,grave-w-grave/zulip,christi3k/zulip,dawran6/zulip,jrowan/zulip,KingxBanana/zulip,tommyip/zulip,Diptanshu8/zulip,tommyip/zulip,krtkmj/zulip,Vallher/zulip,peguin40/zulip,vabs22/zulip,Vallher/zulip,zacps/zulip,synicalsyntax/zulip,punchagan/zulip,dhcrzf/zulip,verma-varsha/zulip,sonali0901/zulip,zulip/zulip,niftynei/zulip,blaze225/zulip,mohsenSy/zulip,hackerkid/zulip,cosmicAsymmetry/zulip,Galexrt/zulip,amanharitsh123/zulip,Jianchun1/zulip,kou/zulip,ryanbackman/zulip,synicalsyntax/zulip,punchagan/zulip,eeshangarg/zulip,eeshangarg/zulip,Vallher/zulip,reyha/zulip,amanharitsh123/zulip,susansls/zulip,souravbadami/zulip,Vallher/zulip,arpith/zulip,brockwhittaker/zulip,kou/zulip,krtkmj/zulip,ahmadassaf/zulip,AZtheAsian/zulip,christi3k/zulip,j831/zulip,TigorC/zulip,timabbott/zulip,samatdav/zulip,dattatreya303/zulip,zacps/zulip,dhcrzf/zulip,Juanvulcano/zulip,showell/zulip,krtkmj/zulip,cosmicAsymmetry/zulip,blaze225/zulip,jackrzhang/zulip,brainwane/zulip,amyliu345/zulip,joyhchen/zulip,shubhamdhama/zulip,mahim97/zulip,mohsenSy/zulip,KingxBanana/zulip,sonali0901/zulip,Vallher/zulip,vikas-parashar/zulip,grave-w-grave/zulip,brockwhittaker/zulip,jainayush975/zulip,showell/zulip,tommyip/zulip,dawran6/zulip,dattatreya303/zulip,calvinleenyc/zulip,eeshangarg/zulip,synicalsyntax/zulip,brainwane/zulip,umkay/zulip,vabs22/zulip,TigorC/zulip,SmartPeople/zulip,mohsenSy/zulip,ahmadassaf/zulip,vikas-parashar/zulip,zulip/zulip,vaidap/zulip,AZtheAsian/zulip,krtkmj/zulip,mahim97/zulip,joyhchen/zulip,kou/zulip,PhilSk/zulip,mahim97/zulip,samatdav/zulip,blaze225/zulip,Galexrt/zulip,grave-w-grave/zulip,SmartPeople/zulip,KingxBanana/zulip,vikas-parashar/zulip,dhcrzf/zulip,amyliu345/zulip,kou/zulip,dattatreya303/zulip,umkay/zulip,eeshangarg/zulip,joyhchen/zulip,sup95/zulip,rishig/zulip,PhilSk/zulip,isht3/zulip,jrowan/zulip,blaze225/zulip,andersk/zulip,brockwhittaker/zulip,dhcrzf/zulip,arpith/zulip,Juanvulcano/zulip,reyha/zulip,zacps/zulip,vaidap/zulip,synicalsyntax/zulip,jackrzhang/zulip,brainwane/zulip,j831/zulip,jrowan/zulip,susansls/zulip,kou/zulip,tommyip/zulip,paxapy/zulip,zacps/zulip,jainayush975/zulip,sharmaeklavya2/zulip,rishig/zulip,jphilipsen05/zulip,rishig/zulip,zulip/zulip,reyha/zulip,timabbott/zulip,jphilipsen05/zulip,eeshangarg/zulip,amanharitsh123/zulip,souravbadami/zulip,jackrzhang/zulip,arpith/zulip,synicalsyntax/zulip,shubhamdhama/zulip,showell/zulip,eeshangarg/zulip,mohsenSy/zulip,PhilSk/zulip,showell/zulip,reyha/zulip,dawran6/zulip,synicalsyntax/zulip,rht/zulip,AZtheAsian/zulip,paxapy/zulip,calvinleenyc/zulip,rishig/zulip,calvinleenyc/zulip,andersk/zulip,niftynei/zulip,isht3/zulip,brainwane/zulip,JPJPJPOPOP/zulip,zulip/zulip,sup95/zulip,vabs22/zulip,rishig/zulip,umkay/zulip,Juanvulcano/zulip,JPJPJPOPOP/zulip,amyliu345/zulip,krtkmj/zulip,cosmicAsymmetry/zulip,vikas-parashar/zulip,Jianchun1/zulip,aakash-cr7/zulip,ryanbackman/zulip,amanharitsh123/zulip,verma-varsha/zulip,ryanbackman/zulip,Diptanshu8/zulip,Jianchun1/zulip,punchagan/zulip