How we supercharged GitLab CI statuses with WebSockets