Ubuntu was the first Linux distro I tried, and I’ve never tried anything else, across three laptops. I’ve never experienced problems like the ones you describe.

Thanks - I figured out how do to it - I had to use git remote set-url origin.

Ok, I figured it out - I needed to

$ git remote set-url origin ssh://git@codeberg.org/OrgName/repoName.git

-and then I could push.

I don’t think they will bother. They will end up in a landfill, and the school will buy new Windows computers.