To be fair, if you want to sync your work across two machines, Git is not ideal because well, you must always remember to push, If you don’t push before switching to the other machine, you’re out of luck.

Syncthing has no such problem, because it’s real time.

However, it’s true that you cannot combine Syncthing and Git. There are solutions like github.com/tkellogg/dura, but I have not tested it.

There’s some lack of options in this space. For some, it might be nicer to run an online IDE.

…

To add something, I second the “just use Git over ssh without installing any additional server”. An additional variation is using something like Gitolite to add multi-user support to raw Git, if you need to support multiple users and permissions; it’s still lighter than running Forgejo.