I have queried the REST API for the folder.
Device A.txt (844 Bytes) Device B.txt (907 Bytes) Device C.txt (842 Bytes)
I can see that the folder is “ignored” on two devices, but not “ignored” on one of them. As I said before, the ignore patterns are exactly the same. I’m assuming that the problem are patterns like the ones mentioned in https://forum.syncthing.net/t/irreversible-local-additions-in-newly-added-ro-folders/16193, i.e.
!folder1/*/folder2
folder1/
The folder that is seemingly stuck in sync would be covered by the * here. Are these ignore patterns inherently problematic or am I doing something wrong?