So, I just remembered that I once upon a time registered the user @CI-Bot ( https://gitlab.com/CI-Bot ) on Gitlab.com. I however ended up never using the account.
Since it's a neat name I was wondering if anyone is interested in taking it over.
If no one is interested I'll just delete it.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!