Join GitHub today
Remove hiredis #4542
Sounds good to me.
We don't have a way to know if this will work, but we didn't see a disconnection since then. Worth to test :)
Also, besides removing it from there, I suppose we should do a
pip uninstall because I think that's not done automatically. Is that the current