GitHub will be folded into Microsoft proper as CEO steps down

Just a reminder that Codeberg exists, is completely free and open source, and has a GitHub import feature.