I did see that a while back, but I haven't had any issues so didn't look into it. A quick search just now though shows Syncthing-Fork on F-Droid, so it should be an easy migration if there does come a need. I did the same with Orgzly a few months ago as it too was forked due to the original dev going MIA, and there were a few annoyances I wanted resolved.
I switched to syncthing-fork, have had zero issues.
(At some point I'm sure new Android versions will do something that will require changes, but that can happen to any app and we will adapt. I think I've used syncthing for nearly a decade with next to no issues so I'm not very worried.)
I did see that a while back, but I haven't had any issues so didn't look into it. A quick search just now though shows Syncthing-Fork on F-Droid, so it should be an easy migration if there does come a need. I did the same with Orgzly a few months ago as it too was forked due to the original dev going MIA, and there were a few annoyances I wanted resolved.
I switched to syncthing-fork, have had zero issues.
(At some point I'm sure new Android versions will do something that will require changes, but that can happen to any app and we will adapt. I think I've used syncthing for nearly a decade with next to no issues so I'm not very worried.)