Reduce GitHub's gitignore file