The difference between
git remote add origin https://github.com/foo/bar
and
git remote add origin https://codeberg.org/foo/bar
Is literally 2 keystrokes.
To portray it as some Sisyphean task for OSI to take on in order to use #OpenSource software is disingenuous at best.
And it's just not believable.