1. 16 Apr, 2019 3 commits
  2. 07 Apr, 2019 4 commits
  3. 06 Apr, 2019 1 commit
  4. 05 Apr, 2019 1 commit
    • ignore: treat paths with trailing "/" as directories · 9d117e20
      The function `git_ignore_path_is_ignored` is there to test the
      ignore status of paths that need not necessarily exist inside of
      a repository. This has the implication that for a given path, we
      cannot always decide whether it references a directory or a file,
      and we need to distinguish those cases because ignore rules may
      treat those differently. E.g. given the following gitignore file:
      
          *
          !/**/
      
      we'd only want to unignore directories, while keeping files
      ignored. But still, calling `git_ignore_path_is_ignored("dir/")`
      will say that this directory is ignored because it treats "dir/"
      as a file path.
      
      As said, the `is_ignored` function cannot always decide whether
      the given path is a file or directory, and thus it may produce
      wrong results in some cases. While this is unfixable in the
      general case, we can do better when we are being passed a path
      name with a trailing path separator (e.g. "dir/") and always
      treat them as directories.
      Patrick Steinhardt committed
  5. 04 Apr, 2019 6 commits
  6. 29 Mar, 2019 11 commits
  7. 25 Mar, 2019 2 commits
  8. 23 Mar, 2019 1 commit
  9. 20 Mar, 2019 2 commits
  10. 15 Mar, 2019 1 commit
  11. 14 Mar, 2019 2 commits
  12. 06 Mar, 2019 1 commit
  13. 05 Mar, 2019 1 commit
  14. 02 Mar, 2019 2 commits
  15. 28 Feb, 2019 2 commits