.wpe-pull-ignore not working as expected - files is not being ignored on pull requests

Bugs
1

Bug Summary

New rules in “.wpe-pull-ignore” are not working as expected.

File is not being ignored on pull requests.

Note I have not tested the same rules in push requests yet.

Steps to reproduce

  1. Create a hidden file e.g. “.example-file” and place it in your WP theme.

  2. Create a new rule in .wpe-pull-ignore e.g. “.example-file” at the end of the .wpe-pull-ignore file

  3. Pull the site from production

Current result:

The file is not being ignored - the magisync list the file as to be deleted (b/c it does not exists on server)

Expected results:

The file should no be in the list of files to sync (b/c the file is listed as a file to ignore in the .wpe-pull-ignore file)

Environment Info

Describe your environment.

  • What Operating System are you using?

MacOS

  • What versions of site software (Nginx, Apache, PHP, MySQL) is used?

Web server: nginx

But this should not be relevant (I think).

  • What version of Local is installed?

6.4.2.+6012

Supporting info

…