filter .jj directory by default

[funnes]

This directory is used by jujutsu

[funnes]

I am not sure if the ignore_dirs list works as intended. If I read

sphinx-autobuild/sphinx_autobuild/filter.py

Line 24 in c9b7cb9

def __call__(self, filename: str, /):

correctly, dirs are only ignored when they start with one of the strings in ignore_dirs or if the entry in ignore_dirs is a pattern that matches the dir. so the .git entry, for example, only causes directories that start with .git to be ignored which means the dir /path/to/repo/.git would not be ignored.

[funnes]

the --help output mentions that --ignore takes glob patterns which is not true. the patterns are matched with fnmatch.fnmatch(). the patterns are also interpreted as paths with Path(pattern).resolve().as_posix() which surprised me.