Merge pull request #4670 from pks-t/pks/ignore-leadingdir Fix negative gitignore rules with leading directories