Elektrine lite

← Feed

@realitaetsverlust@piefed.zip

Post #3006632

2026-05-12 08:23 UTC

Even if, switching your used repo hosting service is a matter of minutes if you're using git. You register on the other site, add your SSH key, update the remote URL of your repository which is just a `git remote set-url origin ` and then hit `git push`, probably with something like `--force` or another option, kinda forgot the exact name. So that's something you could easily automate in like 10 lines of bash script for all your repositories. It's super hard to "trap" people in something like github because git is so open and decentralized. Switching is super easy. Most people who stay on github or gitlab do it because they need the CI/CD pipelines or because they're lazy and/or stupid.

Replies (2)