gitignore and 4D: a useful feature for Git users