ignore direnv configs (#8861)

Commit

4 years ago

ignore direnv configs (#8861) https://direnv.net/ is a useful tool but its configs are developer-specific