Merge pull request #1333 from adamrights/feature/redis

Add a global redis ignore file.