With this change we accept updates for ignored files from other devices, and check the ignore patterns at pull time. When we detect that the ignore patterns have changed we do a full check of files that we might now need to pull.
With this change we accept updates for ignored files from other devices, and check the ignore patterns at pull time. When we detect that the ignore patterns have changed we do a full check of files that we might now need to pull.