Redis Sentinel Split-Brain Bug: What I Learned