Extension system for filters

Description

The use-cases for both file and directory filters are very wide-ranging, and it would be awesome to be able to allow users more flexibility in how filtering was applied. However, neither our current backend or UI can handle this in a sensible way.

One option is to provide a plugin/extension-based system that allowed more extensive and configurable ways to filter both text and files.

One use case would be to use a large database of ignore-worthy files such as https://github.com/github/gitignore

Another use case would be to provide a domain-specific text-transformation plugin so that complicated formats could be easily translated to diff-able versions.

Edited Nov 21, 2020 by Kai Willadsen