Ignore ". modified" events on git pull

[davegaeddert]

At least in my experience, doing git pull while combine work is running can trigger a lot of extra processing. In particular it seems like there is a directory modified event for the current directory (usually root of the repo) that should just be ignored.

[davegaeddert]

Actually there are also some created/deleted events that trigger quite a bit too. (git pull happened after the banner)