Stop watching gitignored directories in the repo file watcher#12122

kevinyang372 merged 3 commits into

masterwarpdotdev/warp:masterfrom

kevin/watcher-gitignore-prunewarpdotdev/warp:kevin/watcher-gitignore-pruneCopy head branch name to clipboard