Borderline?

There’s still DuckDuckGo, or Kagi if you are rich.

Does Codeberg have anything like Gitlab CI, or does it need to be paired with other build tools like Jenkins, TeamCity, etc?

Same here. Gitlab CI was a game-changer for me, too. Any thoughts on where else you’d consider going? Aside from GitHub, that is.

More people need to give Gitlab a chance. It’s really come into its own and I agree that Github now feels like typical unfocused, bloated MS software.

VS Code is a highly configurable editor that can get really close to being like an IDE, but you should really check out the Jetbrains IDEs. Best in class for just about every language they support.