I'm contemplating moving my open-source project management on GitHub, instead of Gitlab... But do I really want to? I mean, it's generally easier to get contribution on GitHub than Gitlab, but do I really want to let my code be used so easily by Microsoft to feed an LLM?