Hi all, The list has gone quiet, so I think it's appropriate to gauge sentiment and I'm going to do so in the only way I have: tallying comments. A few different options have been proposed
* Keep it in the repos, avoid depending on it going forward. This is supported by Torxed, kpcyrd, and myself. * Ban it for a year, revisit the discussion later to see how upstream has kept their promises. This is supported by Freswa, serebit, and artafinde. * Drop redis, with no plans for re-adding it. It can live in the AUR. This is supported by Foxboron. Overall, I see a generally negative sentiment towards keeping it in the repos. As such, I will not push this issue any further. While this is in no sense an official vote (and we didn't reach any level of participation to make it so), I think it's best to continue with the drop as originally planned. Thank you all for your thoughts and entertaining my proposal, Bert.
