Well this time was a huge disappointment… I started the stream trying to debug a weird connection count problem, but I couldn’t push any new code into the repository. So I ended up fighting a weird bug in GitLab CI the whole stream instead of doing the actual work. But at least I’ve found a workaround, so hopefully next time we can continue.