I'm wondering if it's worth having my #git repos on two different sites. It's proving to be too stressful setting things up in and out of #Atom editor to reliably mirror one repo to the other, without conflicts etc. Any suggestions?
@syntax @shreyas @gitlab we do encourage you to do client-side mirroring ("git push --mirror"), for details see https://blog.codeberg.org/mirror-repos-easily-created-consuming-resources-forever.html
@codeberg Oh, my bad. I'm used to my one-user Gitea instance :D